Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2409.05607 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)
by: Bezhanishvili, Guram, et al.
Published: (2025)
Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)
by: Bezhanishvili, Guram, et al.
Published: (2024)
Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)
by: Bezhanishvili, Nick, et al.
Published: (2022)
The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)
by: Bezhanishvili, Guram, et al.
Published: (2024)
Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
by: Bezhanishvili, Guram, et al.
Published: (2025)
by: Bezhanishvili, Guram, et al.
Published: (2025)
Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)
by: Lyon, Tim S.
Published: (2025)
Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
by: Olkhovikov, Grigory
Published: (2024)
by: Olkhovikov, Grigory
Published: (2024)
Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)
by: Zenger, Lukas
Published: (2026)
Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
by: Lücke, Philipp
Published: (2024)
by: Lücke, Philipp
Published: (2024)
Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)
by: Visser, Albert, et al.
Published: (2024)
Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)
by: Pacheco, Leonardo
Published: (2023)
Collapsing Constructive and Intuitionistic Modal Logics
by: Pacheco, Leonardo
Published: (2024)
by: Pacheco, Leonardo
Published: (2024)
The modal theory of the category of sets
by: Wołoszyn, Wojciech Aleksander
Published: (2026)
by: Wołoszyn, Wojciech Aleksander
Published: (2026)
On the Contingency of Logic in Possible World Semantics
by: van der Giessen, Iris, et al.
Published: (2025)
by: van der Giessen, Iris, et al.
Published: (2025)
A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
by: Leme, Renato, et al.
Published: (2023)
by: Leme, Renato, et al.
Published: (2023)
Intuitionistic Sahlqvist theory for deductive systems
by: Fornasiere, Damiano, et al.
Published: (2022)
by: Fornasiere, Damiano, et al.
Published: (2022)
Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)
by: Deakin, Jonte, et al.
Published: (2024)
On the structure of modal and tense operators on a boolean algebra
by: Bezhanishvili, Guram, et al.
Published: (2023)
by: Bezhanishvili, Guram, et al.
Published: (2023)
Local finiteness in varieties of MS4-algebras
by: Bezhanishvili, Guram, et al.
Published: (2023)
by: Bezhanishvili, Guram, et al.
Published: (2023)
Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)
by: Coniglio, Marcelo E.
Published: (2023)
Dependent Types Simplified
by: Bice, Tristan
Published: (2025)
by: Bice, Tristan
Published: (2025)
A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)
by: Maietti, Maria Emilia
Published: (2008)
Modal Semantics for Reasoning with Probability and Uncertainty
by: Guallart, Nino
Published: (2024)
by: Guallart, Nino
Published: (2024)
First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)
by: Christensen, Ahmee
Published: (2024)
Free algebras and coproducts in varieties of Gödel algebras
by: Carai, Luca
Published: (2024)
by: Carai, Luca
Published: (2024)
Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)
by: Vaz, Mahan, et al.
Published: (2025)
Notes on ultrafilter extensions of almost bounded structures
by: Molnár, Zalán
Published: (2025)
by: Molnár, Zalán
Published: (2025)
A Basic Łukasiewicz m-valued conditional logic
by: Huo, Shuquan
Published: (2024)
by: Huo, Shuquan
Published: (2024)
Pretabular Tense Logics over S4t
by: Chen, Qian
Published: (2024)
by: Chen, Qian
Published: (2024)
Degree of Kripke-incompleteness of Tense Logics
by: Chen, Qian
Published: (2025)
by: Chen, Qian
Published: (2025)
Towards a logic of affordances
by: Gruszczynski, Rafal, et al.
Published: (2025)
by: Gruszczynski, Rafal, et al.
Published: (2025)
On connexivity in modal and conditional contexts
by: Olkhovikov, Grigory K.
Published: (2025)
by: Olkhovikov, Grigory K.
Published: (2025)
Connexive implications in Substructural Logics
by: Fazio, Davide, et al.
Published: (2022)
by: Fazio, Davide, et al.
Published: (2022)
Positive indiscernibles
by: Kamsma, Mark
Published: (2023)
by: Kamsma, Mark
Published: (2023)
Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
by: Nichols, David
Published: (2017)
by: Nichols, David
Published: (2017)
On the unification problem for GLP
by: Beklemishev, Lev D.
Published: (2024)
by: Beklemishev, Lev D.
Published: (2024)
A proof system for the positive fragment of GL
by: Tanaka, Yoshihito
Published: (2026)
by: Tanaka, Yoshihito
Published: (2026)
Visser frames for sublogics of $\mathbf{IL}$
by: Okawa, Yuya, et al.
Published: (2022)
by: Okawa, Yuya, et al.
Published: (2022)