A Systematic Presentation of Quantified Modal Logics

DOI10.1093/JIGPAL/10.6.571MaRDI QIDQ4796510zbMATH OpenOpenAlexFDO

Authors Claudio Castellini, Alan Smaill

Publication date 16 September 2003

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

Full work available at URL https://semanticscholar.org/paper/57efe569de39ce5534ec431e952460197a1e900b

zbMATH Keywords

normalizationlabelled sequent calculiquantified normal modal logics

Mathematics Subject Classification ID

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

Recommendations

• Labelled modal logics: Quantifiers
• Labelled proofs for quantified modal logic
• Proof theory for quantified monotone modal logics
• Modal sequents for normal modal logics
• Propositional quantifiers in labelled natural deduction for normal modal logic

Cited in

(16)

• Propositional quantifiers in labelled natural deduction for normal modal logic
• Labelled calculi for quantified modal logics with definite descriptions
• Quantificational modal logic with sequential Kripke semantics
• A theoretical investigation into quantitative modal logic
• Quantified modal logic
• Quantified modal logics: one approach to rule (almost) them all!
• scientific article; zbMATH DE number 4095430 (Why is no real title available?)
• Modal logic with bounded quantification over worlds
• Geometrisation of first-order logic
• Modal metatheory for quantified modal logic, with and without the Barcan formulas
• scientific article; zbMATH DE number 1678355 (Why is no real title available?)
• Proof theory for quantified monotone modal logics
• scientific article; zbMATH DE number 1765667 (Why is no real title available?)
• Proof analysis in modal logic
• Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity
• QMML: Quantified Minimal Modal Logic and Its Applications

This page was built for publication: A Systematic Presentation of Quantified Modal Logics

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