- Separation logics and modalities: a survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.details
|
|
Model-checking CTL* over flat Presburger counter systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.details
|
|
Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2009 - Journal of Logic, Language and Information 18 (2):291-292.details
|
|
Making a Start with the stit Logic Analysis of Intentional Action.Jan M. Broersen - 2011 - Journal of Philosophical Logic 40 (4):499-530.details
|
|
The grammar of quantification and the fine structure of interpretation contexts.Adrian Brasoveanu - 2013 - Synthese 190 (15):3001-3051.details
|
|
Quantificational modal logic with sequential Kripke semantics.Stefano Borgo - 2005 - Journal of Applied Non-Classical Logics 15 (2):137-188.details
|
|
Automatically running experiments on checking multi-party contracts.Adilson Luiz Bonifacio & Wellington Aparecido Della Mura - 2020 - Artificial Intelligence and Law 29 (3):287-310.details
|
|
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.details
|
|
Dynamic squares.Patrick Blackburn & Yde Venema - 1995 - Journal of Philosophical Logic 24 (5):469 - 523.details
|
|
Duality for the Logic of Quantum Actions.Jort M. Bergfeld, Kohei Kishida, Joshua Sack & Shengyang Zhong - 2015 - Studia Logica 103 (4):781-805.details
|
|
Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.details
|
|
Modal Frame Correspondences and Fixed-Points.Johan Van Benthem - 2006 - Studia Logica 83 (1-3):133-155.details
|
|
Language in action.Johan Benthem - 1991 - Journal of Philosophical Logic 20 (3):225 - 263.details
|
|
Computer-mediated trust in self-interested expert recommendations.Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois & Emiliano Lorini - 2010 - AI and Society 25 (4):413-422.details
|
|
Metric dynamic equilibrium logic.Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Farinas del Cerro, Torsten Schaub & Anna Schuhmann - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):495-519.details
|
|
The dynamic turn in quantum logic.Alexandru Baltag & Sonja Smets - 2012 - Synthese 186 (3):753 - 773.details
|
|
Quantum logic as a dynamic logic.Alexandru Baltag & Sonja Smets - 2011 - Synthese 179 (2):285 - 306.details
|
|
Logics of Informational Interactions.Alexandru Baltag & Sonja Smets - 2015 - Journal of Philosophical Logic 44 (6):595-607.details
|
|
PDL for ordered trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx & Maarten de Rijke - 2005 - Journal of Applied Non-Classical Logics 15 (2):115-135.details
|
|
Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.details
|
|
Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
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
|
|
Partially-ordered Modalities.Gerard Allwein & William L. Harrison - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-21.details
|
|
Action frames for weak relevant logics.Igor Sedlár - 2015 - In Pavel Arazim & Michal Dancak (eds.), The Logica Yearbook 2014. College Publications. pp. 267-279.details
|
|
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.details
|
|
Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Hoek, Juan Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1-26.details
|
|
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.details
|
|
Substantive assumptions in interaction: a logical perspective.Olivier Roy & Eric Pacuit - 2013 - Synthese 190 (5):891-908.details
|
|
Reasoning About Preference Dynamics.Fenrong Liu - 2011 - Dordrecht, Netherland: Springer Verlag.details
|
|
Constructive modal logics I.Duminda Wijesekera - 1990 - Annals of Pure and Applied Logic 50 (3):271-301.details
|
|
On Qualitative Route Descriptions: Representation, Agent Models, and Computational Complexity.Matthias Westphal, Stefan Wölfl, Bernhard Nebel & Jochen Renz - 2015 - Journal of Philosophical Logic 44 (2):177-201.details
|
|
Dynamic Epistemic Logic for Implicit and Explicit Beliefs.Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):107-140.details
|
|
Antidiodorean logics and the brentano-husserl's conception of time.Vladimir L. Vasyukov - 1993 - Axiomathes 4 (3):373-388.details
|
|
Towards a theory of intention revision.Wiebe van der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.details
|
|
Propositional quantification in logics of contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.details
|
|
Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics.Frederik Van De Putte & Dominik Klein - 2022 - Journal of Philosophical Logic 51 (3):485-523.details
|
|
Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.details
|
|
Modal Logic.Johan van Benthem - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 389–409.details
|
|
Introspective forgetting.Hans van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.details
|
|
Epistemic logic and epistemology: The state of their affairs.Johan van Benthem - 2006 - Philosophical Studies 128 (1):49 - 76.details
|
|
Descriptions of game actions.Hans P. van Ditmarsch - 2002 - Journal of Logic, Language and Information 11 (3):349-365.details
|
|
Dynamic logic of preference upgrade.Johan van Benthem & Fenrong Liu - 2007 - Journal of Applied Non-Classical Logics 17 (2):157-182.details
|
|
Composing models.Jan van Eijck & Yanjing Wang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):397-425.details
|
|
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.details
|
|
A Propositional Dynamic Logic for Instantial Neighborhood Semantics.Johan van Benthem, Nick Bezhanishvili & Sebastian Enqvist - 2019 - Studia Logica 107 (4):719-751.details
|
|
Medieval Disputationes de obligationibus as Formal Dialogue Systems.Sara L. Uckelman - 2013 - Argumentation 27 (2):143-166.details
|
|
Relevant propositional dynamic logic.Andrew Tedder & Marta Bilková - 2022 - Synthese 200 (3):1-42.details
|
|
A formal model of emotion triggers: an approach for BDI agents.Bas R. Steunebrink, Mehdi Dastani & John-Jules Ch Meyer - 2012 - Synthese 185 (S1):83-129.details
|
|
Logical Geometries and Information in the Square of Oppositions.Hans5 Smessaert & Lorenz6 Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.details
|
|