- Action models in inquisitive logic.Thom van Gessel - 2020 - Synthese 197 (9):3905-3945.details
|
|
A quick guided tour to the modal logic S4.2.Aggeliki Chalki, Costas D. Koutras & Yorgos Zikos - 2018 - Logic Journal of the IGPL 26 (4):429-451.details
|
|
Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic.Ivano Ciardelli - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 94-113.details
|
|
A general framework for dynamic epistemic logic: towards canonical correspondences.Shota Motoura - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):50-89.details
|
|
(1 other version)AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295-331.details
|
|
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.details
|
|
(1 other version)Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.Yanjing Wang & Yanjun Li - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 559-580.details
|
|
(1 other version)Refinement Quantified Logics of Knowledge and Belief for Multiple Agents.James Hales, Tim French & Rowan Davies - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 317-338.details
|
|
(1 other version)General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 239-260.details
|
|
(1 other version)A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite π-Calculus Processes.Eric Ufferman & Pedro Arturo' Hernández-Quiroz Góngora - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 470-482.details
|
|
(1 other version)Future Event Logic- Axioms and Complexity.Hans van Ditmarsch, Tim French & Sophie Pinchinate - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 77-99.details
|
|
The case of the hidden hand.Hans P. van Ditmarsch - 2005 - Journal of Applied Non-Classical Logics 15 (4):437-452.details
|
|
On the Dynamics of Institutional Agreements.Andreas Herzig, Tiago de Lima & Emiliano Lorini - 2009 - Synthese 171 (2):321 - 355.details
|
|
(1 other version)How can questions be informative before they are answered? Strategic information in interrogative games.Emmanuel Genot & Justine Jacot - 2012 - Episteme 9 (2):189-204.details
|
|
The Secret of My Success.Hans Van Ditmarsch & Barteld Kooi - 2006 - Synthese 151 (2):201-232.details
|
|
Complexity of multi-agent conformant planning with group knowledge.Yanjun Li - 2023 - Synthese 201 (4):1-30.details
|
|
The Epistemology of Nondeterminism.Adam Bjorndahl - 2022 - Journal of Logic, Language and Information 31 (4):619-644.details
|
|
Categorical Interpretation of Modal Structures under Bisimulation.Nino Guallart - 2019 - Kairos 22 (1):54-71.details
|
|
Boulesic-Doxastic Logic.Daniel Rönnedal - 2019 - Australasian Journal of Logic 16 (3):83-132.details
|
|
El conocimiento como una actividad colectiva.Ángeles Eraña & Axel Arturo Barceló Aspeitia - 2016 - Tópicos: Revista de Filosofía 51:9-36.details
|
|
Announcement as effort on topological spaces.Hans van Ditmarsch, Sophia Knight & Aybüke Özgün - 2019 - Synthese 196 (7):2927-2969.details
|
|
Syntactic awareness in logical dynamics.Davide Grossi & Fernando R. Velázquez-Quesada - 2015 - Synthese 192 (12):4071-4105.details
|
|
(1 other version)El giro dinámico en la epistemología formal: el caso del razonamiento explicativo.Fernando Soler Toscano - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (2):181.details
|
|
The language of social software.Jan van Eijck - 2010 - Synthese 177 (S1):77 - 96.details
|
|
Medieval Disputationes de obligationibus as Formal Dialogue Systems.Sara L. Uckelman - 2013 - Argumentation 27 (2):143-166.details
|
|
Composing models.Jan van Eijck & Yanjing Wang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):397-425.details
|
|
'Knowable' as 'known after an announcement'.Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima - 2008 - Review of Symbolic Logic 1 (3):305-334.details
|
|
Updating on Biased Probabilistic Testimony.Leander Vignero - 2024 - Erkenntnis 89 (2):567-590.details
|
|
Tracking probabilistic truths: a logic for statistical learning.Alexandru Baltag, Soroush Rafiee Rad & Sonja Smets - 2021 - Synthese 199 (3-4):9041-9087.details
|
|
Dynamic epistemic logics for abstract argumentation.Carlo Proietti & Antonio Yuste-Ginel - 2021 - Synthese 199 (3-4):8641-8700.details
|
|
Time-stamped claim logic.João Rasga, Cristina Sernadas, Erisa Karafili & Luca Viganò - 2021 - Logic Journal of the IGPL 29 (3):303-332.details
|
|
Argument evaluation in multi-agent justification logics.Alfredo Burrieza & Antonio Yuste-Ginel - forthcoming - Logic Journal of the IGPL.details
|
|
Logic and Topology for Knowledge, Knowability, and Belief.Adam Bjorndahl & Aybüke Özgün - 2020 - Review of Symbolic Logic 13 (4):748-775.details
|
|
A History Based Logic for Dynamic Preference Updates.Can Başkent & Guy McCusker - 2020 - Journal of Logic, Language and Information 29 (3):275-305.details
|
|
Giro dinámico y lógica de la investigación científica.María Victoria Murillo-Corchado & Ángel Nepomuceno-Fernández - 2019 - Revista de Humanidades de Valparaíso 13:68-89.details
|
|
Relating logics of justification and evidence.Igor Sedlár - 2014 - In Punčochář Vít & Dančák Michal (eds.), The Logica Yearbook 2013. College Publications. pp. 207-222.details
|
|
Information dynamics and uniform substitution.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii - 2013 - Synthese 190 (1):31-55.details
|
|
Agreeing to disagree in probabilistic dynamic epistemic logic.Lorenz Demey - 2014 - Synthese 191 (3):409-438.details
|
|
Substantive assumptions in interaction: a logical perspective.Olivier Roy & Eric Pacuit - 2013 - Synthese 190 (5):891-908.details
|
|
Merging Observation and Access in Dynamic Logic.Johan van Benthem - unknowndetails
|
|
Iterated belief change in the situation calculus.Steven Shapiro, Maurice Pagnucco, Yves Lespérance & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):165-192.details
|
|
An analysis of disposition concepts by the Ramsey test.Holger Andreas - 2020 - Synthese 198 (12):11379-11397.details
|
|
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.Ryo Hatano & Katsuhiko Sano - 2020 - Studia Logica 109 (1):95-124.details
|
|
Bilattice logic of epistemic actions and knowledge.Zeinab Bakhtiari, Hans van Ditmarsch & Umberto Rivieccio - 2020 - Annals of Pure and Applied Logic 171 (6):102790.details
|
|
Knowledge in action: logico-philosophical approach to linguistic evidentiality.C. BarÉs-GÓmez, M. Fontaine & A. Nepomuceno - forthcoming - Logic Journal of the IGPL.details
|
|
Cazando hackers. Un regalo del ‘convidado de piedra’.María Dolors Martínez-Cazalla - 2018 - Revista de Humanidades de Valparaíso 12:115-140.details
|
|
Social aspects of scientific knowledge.Ilkka Niiniluoto - 2020 - Synthese 197 (1):447-468.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
|
|
Public and private communication are different: results on relative expressivity.Bryan Renne - 2008 - Synthese 165 (2):225-245.details
|
|
Logic and AI in China: An Introduction. [REVIEW]Fenrong Liu & Kaile Su - 2013 - Minds and Machines 23 (1):1-4.details
|
|