- Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Tableaux for constructive concurrent dynamic logic.Duminda Wijesekera & Anil Nerode - 2005 - Annals of Pure and Applied Logic 135 (1-3):1-72.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
|
|
Dual Choice and Iteration in an Abstract Algebra of Action.Kim Solin - 2012 - Studia Logica 100 (3):607-630.details
|
|
Towards an exact philosophy of action.Krister Segerberg - 1984 - Topoi 3 (1):75-83.details
|
|
Getting started: Beginnings in the logic of action.Krister Segerberg - 1992 - Studia Logica 51 (3-4):347 - 378.details
|
|
Structured nonstandard dynamic logic.Ildikó Sain - 1984 - Mathematical Logic Quarterly 30 (31):481-497.details
|
|
Structured nonstandard dynamic logic.Ildikó Sain - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (31):481-497.details
|
|
Old foundations for the logic of agency and action.Lennart Åqvist - 2002 - Studia Logica 72 (3):313-338.details
|
|
Reasoning about action and change.Helmut Prendinger & Gerhard Schurz - 1996 - Journal of Logic, Language and Information 5 (2):209-245.details
|
|
Dynamic algebras: Examples, constructions, applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.details
|
|
Kripke semantics for knowledge representation logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.details
|
|
Communication and Meaning: An Essay in Applied Modal Logic.A. J. Jones - 1983 - Dordrecht, Netherland: Springer.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Uniform and non uniform strategies for tableaux calculi for modal logics.Stéphane Demri - 1995 - Journal of Applied Non-Classical Logics 5 (1):77-96.details
|
|
On modal logics characterized by models with relative accessibility relations: Part I.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 65 (3):323-353.details
|
|
Every finitely reducible logic has the finite model property with respect to the class of ♦-formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177 - 200.details
|
|
Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.details
|
|
Backwards and forwards in the modal logic of agency.Nuel Belnap - 1991 - Philosophy and Phenomenological Research 51 (4):777-807.details
|
|
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.details
|
|
Propositional dynamic logic.Philippe Balbiani - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Temporal Logic Model Checkers as Applied in Computer Science.Kazimierz Trzęsicki - 2009 - Studies in Logic, Grammar and Rhetoric 17 (30).details
|
|
Application of bitemporal databases containing medical data12.Mariusz Giero - 2009 - In Dariusz Surowik (ed.), Logic in Knowledge Representation and Exploration. University of Białystok. pp. 193.details
|
|
Reducing dynamic epistemic logic to pdl by program transformation.Jan van Eijck - unknowndetails
|
|