- Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.details
|
|
A property of 2‐sorted peano models and program verification.L. Csirmaz & J. B. Paris - 1984 - Mathematical Logic Quarterly 30 (19‐24):325-334.details
|
|
A Property of 2‐Sorted Peano Models and Program Verification.L. Csirmaz & J. B. Paris - 1984 - Mathematical Logic Quarterly 30 (19-24):325-334.details
|
|
Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.details
|
|
Frame problem in dynamic logic.Dongmo Zhang & Norman Foo - 2005 - Journal of Applied Non-Classical Logics 15 (2):215-239.details
|
|
A Lewisian Logic of Causal Counterfactuals.Jiji Zhang - 2013 - Minds and Machines 23 (1):77-93.details
|
|
Tableaux for constructive concurrent dynamic logic.Duminda Wijesekera & Anil Nerode - 2005 - Annals of Pure and Applied Logic 135 (1-3):1-72.details
|
|
Dynamic logic with program specifications and its relational proof system.Ewa Orlowska - 1993 - Journal of Applied Non-Classical Logics 3 (2):147-171.details
|
|
A formalization of programs in first-order logic with a discrete linear order.Fangzhen Lin - 2016 - Artificial Intelligence 235 (C):1-25.details
|
|
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.details
|
|
Games: Unifying Logic, Language, and Philosophy.Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.) - 2009 - Dordrecht, Netherland: Springer Verlag.details
|
|
Propositional dynamic logic.Philippe Balbiani - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Border Crossings.Jan van Eijck - unknowndetails
|
|
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.details
|
|
Bewirken.Franz von Kutschera - 1986 - Erkenntnis 24 (3):253 - 281.details
|
|
Causal modeling, reversibility, and logics of counterfactuals.Wai Yin Lam - 2012 - Dissertation, Lingnan Universitydetails
|
|
What algorithms could not be.Walter H. Dean - unknowndetails
|
|