- Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Quantification over Sets of Possible Worlds in Branching-Time Semantics.Alberto Zanardo - 2006 - Studia Logica 82 (3):379-400.details
|
|
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.details
|
|
Intention as commitment toward time.Marc van Zee, Dragan Doder, Leendert van der Torre, Mehdi Dastani, Thomas Icard & Eric Pacuit - 2020 - Artificial Intelligence 283 (C):103270.details
|
|
A Propositional Dynamic Logic for Instantial Neighborhood Semantics.Johan van Benthem, Nick Bezhanishvili & Sebastian Enqvist - 2019 - Studia Logica 107 (4):719-751.details
|
|
Probabilistic temporal logic with countably additive semantics.Dragan Doder & Zoran Ognjanović - 2024 - Annals of Pure and Applied Logic 175 (9):103389.details
|
|
A propositional linear time logic with time flow isomorphic to ω2.Bojan Marinković, Zoran Ognjanović, Dragan Doder & Aleksandar Perović - 2014 - Journal of Applied Logic 12 (2):208-229.details
|
|
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Information dynamics and uniform substitution.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii - 2013 - Synthese 190 (1):31-55.details
|
|
Rewrite rules for CTL.John C. McCabe-Dansted & Mark Reynolds - 2017 - Journal of Applied Logic 21:24-56.details
|
|
Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. London, England: College Publications. pp. 348-367.details
|
|
Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.details
|
|
A Sound And Complete Deductive System For Ctl* Verification.Dov Gabbay - 2008 - Logic Journal of the IGPL 16 (6):499-536.details
|
|
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.details
|
|
Completeness of a Branching-Time Logic with Possible Choices.Roberto Ciuni & Alberto Zanardo - 2010 - Studia Logica 96 (3):393-420.details
|
|
Deontic action logic, atomic boolean algebras and fault-tolerance.Pablo F. Castro & T. S. E. Maibaum - 2009 - Journal of Applied Logic 7 (4):441-466.details
|
|