Proof theory for quantified monotone modal logics

DOI10.1093/JIGPAL/JZZ015MaRDI QIDQ5014049zbMATH OpenOpenAlexWikidataFDO

Authors Sara Negri, Eugenio Orlandelli

Publication date 3 December 2021

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10138/307488

zbMATH Keywords

Barcan formulaslabelled sequent calculusneighbourhood semanticsnon-normal modal logicsquantified modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A Systematic Presentation of Quantified Modal Logics
• Modal sequents for normal modal logics
• Labelled proofs for quantified modal logic
• Labelled modal logics: Quantifiers
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Cited in

(14)

• Quantification in some non-normal modal logics
• scientific article; zbMATH DE number 5295708 (Why is no real title available?)
• Identification through Inductive Verification
• A MONADIC APPROACH TO THE MODAL THEORY
• A Systematic Presentation of Quantified Modal Logics
• Super-strict implications
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
• Monitor Logics for Quantitative Monitor Automata
• Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi
• Labelled proofs for quantified modal logic
• Quantified modal logics: one approach to rule (almost) them all!
• Alternative axiomatization for logics of agency in a G3 calculus
• A more unified approach to free logics

This page was built for publication: Proof theory for quantified monotone modal logics

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