Article,
A dynamic logic for learning theory.
A. Baltag, N. Gierasimczuk, A. Özgün, A. Sandoval, and S. Smets.J. Log. Algebraic Methods Program., (2019)
Meta data
- BibTeX key
- journals/jlap/BaltagGOSS19
- entry type
- article
- year
- 2019
- journal
- J. Log. Algebraic Methods Program.
- volume
- 109
- ee
- https://doi.org/10.1016/j.jlamp.2019.100485
- url
- http://dblp.uni-trier.de/db/journals/jlap/jlap109.html#BaltagGOSS19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/jlap/BaltagGOSS19
%A Baltag, Alexandru
%A Gierasimczuk, Nina
%A Özgün, Aybüke
%A Sandoval, Ana Lucia Vargas
%A Smets, Sonja
%D 2019
%J J. Log. Algebraic Methods Program.
%K dblp
%T A dynamic logic for learning theory.
%U http://dblp.uni-trier.de/db/journals/jlap/jlap109.html#BaltagGOSS19
%V 109
@article{journals/jlap/BaltagGOSS19,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Baltag, Alexandru and Gierasimczuk, Nina and Özgün, Aybüke and Sandoval, Ana Lucia Vargas and Smets, Sonja},
biburl = {https://www.bibsonomy.org/bibtex/22237889f522042770785db7efe17096c/dblp},
ee = {https://doi.org/10.1016/j.jlamp.2019.100485},
interhash = {2b225c8e06e145c586c22994d3298c80},
intrahash = {2237889f522042770785db7efe17096c},
journal = {J. Log. Algebraic Methods Program.},
keywords = {dblp},
timestamp = {2024-04-09T05:08:11.000+0200},
title = {A dynamic logic for learning theory.},
url = {http://dblp.uni-trier.de/db/journals/jlap/jlap109.html#BaltagGOSS19},
volume = 109,
year = 2019
}