A hypersequent solution to the inferentialist problem of modality

DOI10.1007/S10670-020-00264-XMaRDI QIDQ7227930zbMATH OpenFDO

Authors Andrew Parisi

Publication date 13 April 2026

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10670-020-00264-X

zbMATH Keywords

hypersequent calculusinferentialismmodal logicunique characterization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites work

• A cut-free sequent system for two-dimensional modal logic, and why it matters
• Display logic
• Displaying modal logic
• Gentzen calculi for modal propositional logic
• scientific article; zbMATH DE number 3131074 (Why is no real title available?)
• scientific article; zbMATH DE number 149884 (Why is no real title available?)
• scientific article; zbMATH DE number 591209 (Why is no real title available?)
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3084370 (Why is no real title available?)
• Hypersequents, logical consequence and intermediate logics for concurrency
• On some calculi of modal logic
• Proof analysis in modal logic
• Sequent-systems for modal logic
• The connectives
• The Method of Tree-Hypersequents for Modal Propositional Logic
• The modal logic of provability. The sequential approach
• Truth values and proof theory

This page was built for publication: A hypersequent solution to the inferentialist problem of modality

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