Image de couverture de livre

Blok-Esakia Theorems via Stable Canonical Rules

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bezhanishvili, Nick, Cleani, Antonio Maria
Format:	Preprint
Publié:	2022
Sujets:	Logic 03B45, 03B55, 03B60, 03B44, 03F45
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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)

Failure of the Blok-Esakia Theorem in the monadic setting
par: Bezhanishvili, Guram, et autres
Publié: (2024)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
par: Lyon, Tim S.
Publié: (2025)

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

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

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

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

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

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

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

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)

Kripke-like models of Set Theory in Modal Residuated Logic
par: Moncayo, Jose, et autres
Publié: (2024)

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

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

Collapsing Constructive and Intuitionistic Modal Logics
par: Pacheco, Leonardo
Publié: (2024)

Game semantics for the constructive $μ$-calculus
par: Pacheco, Leonardo
Publié: (2023)

Sub-sub-intuitionistic logic
par: Deakin, Jonte, et autres
Publié: (2024)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
par: Lücke, Philipp
Publié: (2024)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
par: Stanković, Marko, et autres
Publié: (2025)

The Orthologic of Epistemic Modals
par: Holliday, Wesley H., et autres
Publié: (2022)

State-based Modal Logics for Free Choice
par: Aloni, Maria, et autres
Publié: (2023)

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)

Possibility Semantics
par: Holliday, Wesley H.
Publié: (2024)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
par: Sato, Yuta
Publié: (2025)

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

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)

A Completeness Theorem for Topological Doctrines
par: Ghilardi, Silvio, et autres
Publié: (2025)

Logics of polyhedral reachability
par: Bezhanishvili, Nick, et autres
Publié: (2024)

Modern Definition and Ancient Definition
par: Protin, Clarence
Publié: (2022)

Aristotle's Second-Order Logic and Natural Deduction
par: Protin, Clarence
Publié: (2023)

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

Dismantling the Surprise Test "Paradox"
par: Dietzfelbinger, Martin
Publié: (2026)

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

On the Contingency of Logic in Possible World Semantics
par: van der Giessen, Iris, et autres
Publié: (2025)

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

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
par: Leme, Renato, et autres
Publié: (2023)