Image de couverture de livre

Intuitionistic monotone modal logic via translation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	de Groot, Jim
Format:	Preprint
Publié:	2025
Sujets:	Logic Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)

Intuitionistic modal logics: a minimal setting
par: Balbiani, Philippe, et autres
Publié: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
par: de Groot, Jim, et autres
Publié: (2024)

Filling in the semantics for intuitionistic conditional logic
par: Dufty, Brendan, et autres
Publié: (2025)

Intuitionistic modal logic LIK4 is decidable
par: Balbiani, Philippe, et autres
Publié: (2025)

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
par: Balbiani, Philippe
Publié: (2025)

Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
par: Balbiani, Philippe, et autres
Publié: (2025)

Relational semantics for flat Heyting-Lewis Logic
par: de Groot, Jim, et autres
Publié: (2026)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)

Complexity results for modal logic with recursion via translations and tableaux
par: Aceto, Luca, et autres
Publié: (2023)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
par: de Groot, Jim, et autres
Publié: (2021)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
par: de Groot, Jim, et autres
Publié: (2026)

Modal definability in Euclidean modal logics
par: Balbiani, Philippe, et autres
Publié: (2025)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Intuitionistic logic, dual intuitionistic logic, and modality
par: Aryal, Safal Raman
Publié: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
par: d'Aragona, Antonio Piccolomini
Publié: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
par: Buzoku, Yll, et autres
Publié: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

On the Cut Elimination of Weak Intuitionistic Tense Logic
par: Wang, Yiheng, et autres
Publié: (2024)

Cut-free Deductive System for Continuous Intuitionistic Logic
par: Geoffroy, Guillaume
Publié: (2025)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
par: Férée, Hugo, et autres
Publié: (2026)

Minimal modal logics, constructive modal logics and their relations
par: Dalmonte, Tiziano
Publié: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
par: Lyon, Tim S.
Publié: (2022)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

A weakly monotonic, logically constrained, HORPO-variant
par: Kop, Cynthia
Publié: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

Tableau methodology for propositional logics
par: Jarmuzek, T., et autres
Publié: (2025)

Convex algebras on an interval with semicontinuous monotone operations
par: Sokolova, Ana, et autres
Publié: (2026)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
par: Hansen, Helle Hvid, et autres
Publié: (2025)

A logic for default deontic reasoning
par: Piazza, Mario, et autres
Publié: (2025)

Modelling of logical systems by means of their fragments
par: Rybakov, Mikhail
Publié: (2025)

Extended multi-adjoint logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

Parameterized complexity of n-dense modal logics
par: Gasquet, Olivier
Publié: (2026)

Further remarks on the dual negation in team logics
par: Anttila, Aleksi
Publié: (2024)

Syntax and semantics of multi-adjoint normal logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)