Copertina

Visser frames for sublogics of $\mathbf{IL}$

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Okawa, Yuya, Kurahashi, Taishi
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic 03B45, 03F45
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Cut-free sequent calculi for the provability logic D
di: Kashima, Ryo, et al.
Pubblicazione: (2023)

A proof system for the positive fragment of GL
di: Tanaka, Yoshihito
Pubblicazione: (2026)

On the unification problem for GLP
di: Beklemishev, Lev D.
Pubblicazione: (2024)

Lewis and Brouwer meet Strong Löb
di: Visser, Albert, et al.
Pubblicazione: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2022)

Periodic frames
di: Beklemishev, Lev D., et al.
Pubblicazione: (2024)

Intuitionistic Common Knowledge
di: Zenger, Lukas
Pubblicazione: (2026)

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

Collapsing Constructive and Intuitionistic Modal Logics
di: Pacheco, Leonardo
Pubblicazione: (2024)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

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

Hierarchical formula classes with respect to semi-classical prenex normalization
di: Fujiwara, Makoto, et al.
Pubblicazione: (2025)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
di: Knudstorp, Søren Brinck
Pubblicazione: (2025)

Nested Sequents for Provability Logic GLP
di: Shamkanov, Daniyar
Pubblicazione: (2014)

Game semantics for the constructive $μ$-calculus
di: Pacheco, Leonardo
Pubblicazione: (2023)

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

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2024)

First-Order Fischer Servi Logic
di: Christensen, Ahmee
Pubblicazione: (2024)

Sub-sub-intuitionistic logic
di: Deakin, Jonte, et al.
Pubblicazione: (2024)

Dismantling the Surprise Test "Paradox"
di: Dietzfelbinger, Martin
Pubblicazione: (2026)

A Basic Łukasiewicz m-valued conditional logic
di: Huo, Shuquan
Pubblicazione: (2024)

Degree of Kripke-incompleteness of Tense Logics
di: Chen, Qian
Pubblicazione: (2025)

Towards a logic of affordances
di: Gruszczynski, Rafal, et al.
Pubblicazione: (2025)

Pretabular Tense Logics over S4t
di: Chen, Qian
Pubblicazione: (2024)

On connexivity in modal and conditional contexts
di: Olkhovikov, Grigory K.
Pubblicazione: (2025)

Modal weak Kleene logics: axiomatizations and relational semantics
di: Bonzio, Stefano, et al.
Pubblicazione: (2024)

On Many-logic modal structures and information-based logics
di: Martins, Manuel, et al.
Pubblicazione: (2026)

Monotonicity versus positivity in modal logics
di: Dvorkin, Lev
Pubblicazione: (2026)

Finite model property of pretransitive analogues of (w)K4 and GL
di: Dvorkin, Lev
Pubblicazione: (2024)

Two types of filtrations for $\mathrm{wK4}$ and its relatives
di: Kudinov, Andrey, et al.
Pubblicazione: (2023)

Algebraic Semantics for the Logic of Proofs
di: Parsa, Amir Farahmand, et al.
Pubblicazione: (2021)

Twins: non-isomorphic models forced to be isomorphic. Part I
di: Shelah, Saharon
Pubblicazione: (2025)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
di: Stanković, Marko, et al.
Pubblicazione: (2025)

Kripke-like models of Set Theory in Modal Residuated Logic
di: Moncayo, Jose, et al.
Pubblicazione: (2024)

Sheaves as oracle computations
di: Ahman, Danel, et al.
Pubblicazione: (2026)

The Logic of Correct Models
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2024)

Models for the common knowledge logic
di: Tanaka, Yoshihito
Pubblicazione: (2024)

Failure of Esakia's theorem in the monadic setting
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2025)

Modal Semantics for Reasoning with Probability and Uncertainty
di: Guallart, Nino
Pubblicazione: (2024)