- Dynamic Introspection.Michael Cohen - 2021 - Dissertation, Stanford Universitydetails
|
|
Modalité et changement: δύναμις et cinétique aristotélicienne.Marion Florian - 2023 - Dissertation, Université Catholique de Louvaindetails
|
|
Opaque Updates.Michael Cohen - 2020 - Journal of Philosophical Logic 50 (3):447-470.details
|
|
Products of 'transitive' modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.details
|
|
An infinitary axiomatization of dynamic topological logic.Somayeh Chopoghloo & Morteza Moniri - 2022 - Logic Journal of the IGPL 30 (1):124-142.details
|
|
Complete Intuitionistic Temporal Logics for Topological Dynamics.Joseph Boudou, Martín Diéguez & David Fernández-Duque - 2022 - Journal of Symbolic Logic 87 (3):995-1022.details
|
|
The Epistemology of Nondeterminism.Adam Bjorndahl - 2022 - Journal of Logic, Language and Information 31 (4):619-644.details
|
|
Some topological properties of paraconsistent models.Can Başkent - 2013 - Synthese 190 (18):4023-4040.details
|
|
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.details
|
|
Absolute Completeness of S4u for Its Measure-Theoretic Semantics.David Fernández-Duque - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 100-119.details
|
|
Non-finite Axiomatizability of Dynamic Topological Logic.David Fernández-Duque - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 200-216.details
|
|
Intensional Protocols for Dynamic Epistemic Logic.Hanna S. van Lee, Rasmus K. Rendsvig & Suzanne van Wijk - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.details
|
|
Modal languages for topology: Expressivity and definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.details
|
|
25th Workshop on Logic, Language, Information and Computation.Lawrence Moss, Maricarmen Martinez, Xavier Caicedo & Ruy de Queiroz - 2019 - Logic Journal of the IGPL 27 (5):766-776.details
|
|
Propositional logic of continuous transformations in Cantor space.Grigori Mints & Ting Zhang - 2005 - Archive for Mathematical Logic 44 (6):783-799.details
|
|
Cut Elimination for S4C: A Case Study.Grigori Mints - 2006 - Studia Logica 82 (1):121-132.details
|
|
Dynamic measure logic.Tamar Lando - 2012 - Annals of Pure and Applied Logic 163 (12):1719-1737.details
|
|
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.details
|
|
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.details
|
|
The modal logic of continuous functions on cantor space.Philip Kremer - 2006 - Archive for Mathematical Logic 45 (8):1021-1032.details
|
|
Strong completeness of s4 for any dense-in-itself metric space.Philip Kremer - 2013 - Review of Symbolic Logic 6 (3):545-570.details
|
|
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.details
|
|
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.details
|
|
On Dynamic Topological and Metric Logics.B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev - 2006 - Studia Logica 84 (1):129-160.details
|
|
Geometric Modal Logic.Brice Halimi - 2023 - Notre Dame Journal of Formal Logic 64 (3):377-406.details
|
|
Products of ‘transitive” modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.details
|
|
Non-primitive recursive decidability of products of modal logics with expanding domains.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2006 - Annals of Pure and Applied Logic 142 (1):245-268.details
|
|
Non-deterministic semantics for dynamic topological logic.David Fernández - 2009 - Annals of Pure and Applied Logic 157 (2-3):110-121.details
|
|
Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.details
|
|
Dynamic topological logic of metric spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.details
|
|
A sound and complete axiomatization for Dynamic Topological Logic.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (3):947-969.details
|
|
Mathematical Logic.Philip Kremer - unknowndetails
|
|
The topological product of s4 and S.Philip Kremer - unknowndetails
|
|
Advances in modal logic, volume.Rajeev Gore - unknowndetails
|
|