- (1 other version)Mathematical Modality: An Investigation in Higher-order Logic.Andrew Bacon - 2024 - Journal of Philosophical Logic 53 (1):131-179.details
|
|
An Algebraic Approach to Inquisitive and -Logics.Nick Bezhanishvili, Gianluca Grilletti & Davide Emilio Quadrellaro - 2022 - Review of Symbolic Logic 15 (4):950-990.details
|
|
Tychonoff hed-spaces and Zemanian extensions of s4.3.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2018 - Review of Symbolic Logic 11 (1):115-132.details
|
|
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.details
|
|
Modal logics of domains on the real plane.V. B. Shehtman - 1983 - Studia Logica 42 (1):63-80.details
|
|
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.Valentin Shehtman - 1990 - Studia Logica 49 (3):365 - 385.details
|
|
Finite Axiomatizability of Transitive Modal Logics of Finite Depth and Width with Respect to Proper-Successor-Equivalence.Yan Zhang & X. U. Ming - forthcoming - Review of Symbolic Logic:1-14.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
|
|
On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames.Wesley H. Holliday - 2017 - Studia Logica 105 (1):13-35.details
|
|
Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.details
|
|
An Algebraic Approach to Canonical Formulas: Modal Case.Guram Bezhanishvili & Nick Bezhanishvili - 2011 - Studia Logica 99 (1-3):93-125.details
|
|
Splittings and the finite model property.Marcus Kracht - 1993 - Journal of Symbolic Logic 58 (1):139-157.details
|
|
An almost general splitting theorem for modal logic.Marcus Kracht - 1990 - Studia Logica 49 (4):455 - 470.details
|
|
Bull's theorem by the method of diagrams.Giovanna Corsi - 1999 - Studia Logica 62 (2):163-176.details
|
|
A Theory of Necessities.Andrew Bacon & Jin Zeng - 2022 - Journal of Philosophical Logic 51 (1):151-199.details
|
|
Normal Modal Logics Determined by Aligned Clusters.Zofia Kostrzycka & Yutaka Miyazaki - 2017 - Studia Logica 105 (1):1-11.details
|
|
Logics of some kripke frames connected with Medvedev notion of informational types.V. B. Shehtman & D. P. Skvortsov - 1986 - Studia Logica 45 (1):101-118.details
|
|
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.details
|
|
Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.details
|
|
(1 other version)Canonical formulas for k4. part III: The finite model property.Michael Zakharyaschev - 1997 - Journal of Symbolic Logic 62 (3):950-975.details
|
|
Incompleteness results in Kripke semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.details
|
|
The undecidability of the disjunction property of propositional logics and other related problems.Alexander Chagrov & Michael Zakharyaschev - 1993 - Journal of Symbolic Logic 58 (3):967-1002.details
|
|
Logics for propositional contingentism.Peter Fritz - 2017 - Review of Symbolic Logic 10 (2):203-236.details
|
|
Possible Worlds Semantics: A Research Program That Cannot Fail?Johan van Benthem - 1984 - Studia Logica 43 (4):379-393.details
|
|
An Algebraic Approach to Canonical Formulas: Intuitionistic Case.Guram Bezhanishvili - 2009 - Review of Symbolic Logic 2 (3):517.details
|
|
Cofinal Stable Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2016 - Studia Logica 104 (6):1287-1317.details
|
|
Canonical formulas for wk4.Guram Bezhanishvili & Nick Bezhanishvili - 2012 - Review of Symbolic Logic 5 (4):731-762.details
|
|
The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.details
|
|
Canonical formulas for k4. part I: Basic results.Michael Zakharyaschev - 1992 - Journal of Symbolic Logic 57 (4):1377-1402.details
|
|
Logics containing k4. part II.Kit Fine - 1985 - Journal of Symbolic Logic 50 (3):619-651.details
|
|
On Kripke completeness of modal predicate logics around quantified K5.Valentin Shehtman - 2023 - Annals of Pure and Applied Logic 174 (2):103202.details
|
|
Locally Finite Reducts of Heyting Algebras and Canonical Formulas.Guram Bezhanishvili & Nick Bezhanishvili - 2017 - Notre Dame Journal of Formal Logic 58 (1):21-45.details
|
|
A Splitting Logic in NExt.Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381-394.details
|
|
Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.details
|
|
Strong completeness of s4 for any dense-in-itself metric space.Philip Kremer - 2013 - Review of Symbolic Logic 6 (3):545-570.details
|
|
Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.details
|
|
Failure of Interpolation in Combined Modal Logics.Maarten Marx & Carlos Areces - 1998 - Notre Dame Journal of Formal Logic 39 (2):253-273.details
|
|
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster.Tatsuya Shimura - 2000 - Studia Logica 65 (2):237-247.details
|
|
First-order definability in modal logic.R. I. Goldblatt - 1975 - Journal of Symbolic Logic 40 (1):35-40.details
|
|
Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.details
|
|
Characterizing Existence of a Measurable Cardinal Via Modal Logic.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2021 - Journal of Symbolic Logic 86 (1):162-177.details
|
|
Characterizing Existence of a Measurable Cardinal Via Modal Logic.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2021 - Journal of Symbolic Logic 86 (1):162-177.details
|
|
(1 other version)Negation-Free Modal Logics.George F. Schumm & Roy Edelstein - 1979 - Mathematical Logic Quarterly 25 (13-18):281-288.details
|
|
Possible worlds semantics: A research program that cannot fail?Johan Benthem - 1984 - Studia Logica 43 (4):379 - 393.details
|
|
On some ascending chains of brouwerian modal logics.Michael J. White - 1981 - Studia Logica 40 (1):75-87.details
|
|
(1 other version)Negation‐Free Modal Logics.George F. Schumm & Roy Edelstein - 1979 - Mathematical Logic Quarterly 25 (13‐18):281-288.details
|
|
A splitting logic in NExt(KTB).Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381 - 394.details
|
|
Cluster expansion and the boxdot conjecture.Emil Jeřábek - 2016 - Mathematical Logic Quarterly 62 (6):608-614.details
|
|
On Pretabular Logics in NExtK4 (Part I).Shan Du & Hongkui Kang - 2014 - Studia Logica 102 (3):499-523.details
|
|
On modal logics arising from scattered locally compact Hausdorff spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2019 - Annals of Pure and Applied Logic 170 (5):558-577.details
|
|