- Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.details
|
|
A note on the logic of elsewhere.Krister Segerberg - 1980 - Theoria 46 (2-3):183-187.details
|
|
A note on future branching time.Glenn Kessler - 1975 - Theoria 41 (2):89-95.details
|
|
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.details
|
|
Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames.Peter Fritz - 2024 - Journal of Symbolic Logic 89 (2):758-793.details
|
|
Critical notice.J. F. A. K. van Benthem - 1979 - Synthese 40 (2):353-373.details
|
|
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.details
|
|
On the semantics of graded modalities.Wiebe Van der Hoek - 1992 - Journal of Applied Non-Classical Logics 2 (1):81-123.details
|
|
Unifying default reasoning and belief revision in a modal framework.Craig Boutilier - 1994 - Artificial Intelligence 68 (1):33-85.details
|
|
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines.C. Hampson, S. Kikot & A. Kurucz - 2016 - Studia Logica 104 (3):455-486.details
|
|
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.details
|
|
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.details
|
|
Modal logics of domains on the real plane.V. B. Shehtman - 1983 - Studia Logica 42 (1):63-80.details
|
|
Interval semantics for tense logic: Some remarks. [REVIEW]I. L. Humberstone - 1979 - Journal of Philosophical Logic 8 (1):171 - 196.details
|
|
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.details
|
|
Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.details
|
|
Abduction as belief revision.Craig Boutilier & Veronica Beche - 1995 - Artificial Intelligence 77 (1):43-94.details
|
|
A finite axiomatization of the set of strongly valid ockhamist formulas.Alberto Zanardo - 1985 - Journal of Philosophical Logic 14 (4):447 - 468.details
|
|
On axiomatising products of Kripke frames.Agnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.details
|
|
Definable fixed points in modal and temporal logics — a survey.Sergey Mardaev - 2007 - Journal of Applied Non-Classical Logics 17 (3):317-346.details
|
|
Branching-time logic with quantification over branches: The point of view of modal logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.details
|
|
On superintuitionistic logics as fragments of proof logic extensions.A. V. Kuznetsov & A. Yu Muravitsky - 1986 - Studia Logica 45 (1):77 - 99.details
|
|
The finite model property in tense logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.details
|
|
(1 other version)The modal logic of inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.details
|
|
Temporal Interpretation of Monadic Intuitionistic Quantifiers.Guram Bezhanishvili & Luca Carai - 2023 - Review of Symbolic Logic 16 (1):164-187.details
|
|
Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Post Completeness and Ultrafilters.David Makinson & Krister Segerberg - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):385-388.details
|
|
Discrete linear temporal logic with current time point clusters, deciding algorithms.V. Rybakov - 2008 - Logic and Logical Philosophy 17 (1-2):143-161.details
|
|
A conjectured axiomatization of two-dimensional Reichenbachian tense logic.Lennart Åqvist - 1979 - Journal of Philosophical Logic 8 (1):1 - 45.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Negation‐Free Modal Logics.George F. Schumm & Roy Edelstein - 1979 - Mathematical Logic Quarterly 25 (13‐18):281-288.details
|
|
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Canonical Filtrations and Local Tabularity.Valentin Shehtman - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 498-512.details
|
|
In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on ‘ Overwhelming Majority ’ Default Conditionals.Costas D. Koutras & Christos Rantsoudis - 2017 - Journal of Logic, Language and Information 26 (2):109-141.details
|
|
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in $$\text {NExtK4.3}$$.Ming Xu - 2023 - Studia Logica 111 (6):899-946.details
|
|
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.details
|
|
A note on the interpolation property in tense logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.details
|
|
О formułach m-zmiennych w rachunkach Łukasiewlcza.Резо Григолия - 1985 - Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica 3:29-36.details
|
|
Critical notice.J. F. A. K. Benthem - 1979 - Synthese 40 (2):353-373.details
|
|