- A Dynamic Logic of Data-Informed Knowledge.Kaya Deuser, Junli Jiang, Pavel Naumov & Wenxuan Zhang - 2024 - Journal of Philosophical Logic 53 (2):521-557.details
|
|
On the Comparisons of Logics in Terms of Expressive Power.Diego Pinheiro Fernandes - 2023 - Manuscrito 46 (4):2022-0054.details
|
|
Communication Pattern Logic: Epistemic and Topological Views.Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth & Diego A. Velázquez - 2023 - Journal of Philosophical Logic 52 (5):1445-1473.details
|
|
Arbitrary Public Announcement Logic with Memory.Alexandru Baltag, Aybüke Özgün & Ana Lucia Vargas Sandoval - 2022 - Journal of Philosophical Logic 52 (1):53-110.details
|
|
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.Thomas Ågotnes, Natasha Alechina & Rustam Galimullin - 2022 - Journal of Logic, Language and Information 31 (2):141-166.details
|
|
Verification and Strategy Synthesis for Coalition Announcement Logic.Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin & Tuo Wang - 2021 - Journal of Logic, Language and Information 30 (4):671-700.details
|
|
Knowing-how under uncertainty.Pavel Naumov & Jia Tao - 2019 - Artificial Intelligence 276 (C):41-56.details
|
|
Together we know how to achieve: An epistemic logic of know-how.Pavel Naumov & Jia Tao - 2018 - Artificial Intelligence 262 (C):279-300.details
|
|
Resolving distributed knowledge.Thomas Ågotnes & Yì N. Wáng - 2017 - Artificial Intelligence 252 (C):1-21.details
|
|
Arbitrary arrow update logic.Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi & Louwe B. Kuijer - 2017 - Artificial Intelligence 242 (C):80-106.details
|
|
Positive Announcements.Hans van Ditmarsch, Tim French & James Hales - 2020 - Studia Logica 109 (3):639-681.details
|
|
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.Philippe Balbiani, David Fernández-Duque & Emiliano Lorini - 2019 - Studia Logica 107 (3):457-488.details
|
|
Exploring the tractability border in epistemic tasks.Cédric Dégremont, Lena Kurzen & Jakub Szymanik - 2014 - Synthese 191 (3):371-408.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
The Undecidability of Quantified Announcements.T. Ågotnes, H. van Ditmarsch & T. French - 2016 - Studia Logica 104 (4):597-640.details
|
|
Putting right the wording and the proof of the Truth Lemma for APAL.Philippe Balbiani - 2015 - Journal of Applied Non-Classical Logics 25 (1):2-19.details
|
|
Simulative belief logic.Hu Liu, Yuan Ren & Xuefeng Wen - 2013 - Journal of Applied Logic 11 (2):217-228.details
|
|
Reasoning About Permitted Announcements.P. Balbiani & P. Seban - 2011 - Journal of Philosophical Logic 40 (4):445-472.details
|
|
On composition of bounded-recall plans.Kaya Deuser & Pavel Naumov - 2020 - Artificial Intelligence 289 (C):103399.details
|
|
What will they say?—Public Announcement Games.Hans van Ditmarsch & Thomas Ågotnes - 2011 - Synthese 179 (S1):57 - 85.details
|
|
Coalition and Relativised Group Announcement Logic.Rustam Galimullin - 2021 - Journal of Logic, Language and Information 30 (3):451-489.details
|
|
Propositional quantification in logics of contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.details
|
|
Knowing the price of success.Rui Cao & Pavel Naumov - 2020 - Artificial Intelligence 284 (C):103287.details
|
|
Topic-Based Communication Between Agents.Rustam Galimullin & Fernando R. Velázquez-Quesada - forthcoming - Studia Logica:1-49.details
|
|