Proof theory for quantified monotone modal logics

DOI10.1093/jigpal/jzz015zbMath1477.03057OpenAlexW2946543186WikidataQ128041044 ScholiaQ128041044MaRDI QIDQ5014049

Eugenio Orlandelli, Sara Negri

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

quantified modal logicsneighbourhood semanticslabelled sequent calculusBarcan formulasnon-normal modal logics

Mathematics Subject Classification ID

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

Related Items

A more unified approach to free logics, Super-Strict Implications, Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics