Image de couverture de livre

Two types of filtrations for $\mathrm{wK4}$ and its relatives

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kudinov, Andrey, Shapirovsky, Ilya
Format:	Preprint
Publié:	2023
Sujets:	Logic 03B45
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
par: Shapirovsky, Ilya B., et autres
Publié: (2025)

Sufficient conditions for local tabularity of a polymodal logic
par: Shapirovsky, Ilya B.
Publié: (2022)

Locally tabular products of modal logics
par: Shapirovsky, Ilya B., et autres
Publié: (2024)

Finite model property of pretransitive analogues of (w)K4 and GL
par: Dvorkin, Lev
Publié: (2024)

Generalizations of The Finite Height Criterion for Local Tabularity
par: Shapirovsky, Ilya B.
Publié: (2025)

On distance logics of Euclidean spaces
par: Agnew, Gabriel, et autres
Publié: (2025)

Modal weak Kleene logics: axiomatizations and relational semantics
par: Bonzio, Stefano, et autres
Publié: (2024)

Pretabular Tense Logics over S4t
par: Chen, Qian
Publié: (2024)

A proof system for the positive fragment of GL
par: Tanaka, Yoshihito
Publié: (2026)

On the unification problem for GLP
par: Beklemishev, Lev D.
Publié: (2024)

Visser frames for sublogics of $\mathbf{IL}$
par: Okawa, Yuya, et autres
Publié: (2022)

On Many-logic modal structures and information-based logics
par: Martins, Manuel, et autres
Publié: (2026)

Modal logics of almost sure validities in some classes of euclidean and transitive frames
par: Sliusarev, Vladislav
Publié: (2024)

Monotonicity versus positivity in modal logics
par: Dvorkin, Lev
Publié: (2026)

Algebraic Semantics for the Logic of Proofs
par: Parsa, Amir Farahmand, et autres
Publié: (2021)

A Basic Łukasiewicz m-valued conditional logic
par: Huo, Shuquan
Publié: (2024)

Degree of Kripke-incompleteness of Tense Logics
par: Chen, Qian
Publié: (2025)

Towards a logic of affordances
par: Gruszczynski, Rafal, et autres
Publié: (2025)

On connexivity in modal and conditional contexts
par: Olkhovikov, Grigory K.
Publié: (2025)

Logics of False Belief and Radical Ignorance
par: Fan, Jie
Publié: (2024)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
par: Howlader, Prosenjit, et autres
Publié: (2024)

Intuitionistic Common Knowledge
par: Zenger, Lukas
Publié: (2026)

Cut-free sequent calculi for the provability logic D
par: Kashima, Ryo, et autres
Publié: (2023)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
par: Wolter, Frank, et autres
Publié: (2024)

Swap Kripke models for deontic LFIs
par: Vaz, Mahan, et autres
Publié: (2025)

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
par: Nichols, David
Publié: (2017)

Lewis and Brouwer meet Strong Löb
par: Visser, Albert, et autres
Publié: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
par: Bezhanishvili, Nick, et autres
Publié: (2022)

Properties of independence in $\mathrm{NSOP}_3$ theories
par: Mutchnik, Scott
Publié: (2023)

On groups and fields interpretable in $\mathrm{NTP_2}$ fields
par: Wang, Paul Z.
Publié: (2024)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
par: Coniglio, Marcelo E.
Publié: (2023)

First-Order Modal Logic via Logical Categories
par: Ghilardi, Silvio, et autres
Publié: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
par: Ghari, Meghdad
Publié: (2014)

Failure of Esakia's theorem in the monadic setting
par: Bezhanishvili, Guram, et autres
Publié: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Modal Semantics for Reasoning with Probability and Uncertainty
par: Guallart, Nino
Publié: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
par: Olkhovikov, Grigory
Publié: (2024)

Classification and deontic explosion for contrary-to-duty obligations
par: Kjos-Hanssen, Bjørn
Publié: (2026)

The Logic of Correct Models
par: Aguilera, Juan Pablo, et autres
Publié: (2024)

Models for the common knowledge logic
par: Tanaka, Yoshihito
Publié: (2024)