A proof-theoretic view of basic intuitionistic conditional logic

DOI10.1007/978-3-032-06085-3_19MaRDI QIDQ6860373zbMATH OpenFDO

Authors Tiziano Dalmonte, Marianna Girlando

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-06085-3_19

zbMATH Keywords

conditional logicintuitionistic modal logicnested sequentssequent calculus

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A fully labelled proof system for intuitionistic modal logics
• An intuitionistically complete system of basic intuitionistic conditional logic
• Basic conditional logic
• Basic intuitionistic conditional logic
• Constructive modal logics. I
• Counterfactuals.
• Cut elimination in nested sequents for intuitionistic modal logics
• Deep sequent systems for modal logic
• Generic modal cut elimination applied to conditional logics
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 1848312 (Why is no real title available?)
• scientific article; zbMATH DE number 1418447 (Why is no real title available?)
• Intuitionistic conditional logics
• Logics in access control: a conditional approach
• Maehara-style modal nested calculi
• Models for normal intuitionistic modal logics
• Nested sequent calculi for conditional logics
• Nested sequent calculi for normal conditional logics
• On intuitionistic diamonds (and lack thereof)
• Optimal tableaux for conditional logics with cautious monotonicity
• Quick completeness proofs for some logics of conditionals
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi

Cited in

(1)

• Intuitionistic monotone modal logic via translation

This page was built for publication: A proof-theoretic view of basic intuitionistic conditional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6860373)