Labelled modal logics: Quantifiers

DOI10.1023/A:1008278803780MaRDI QIDQ1289100zbMATH OpenOpenAlexFDO

Authors Seán Matthews, Luca Viganò, David Basin

Publication date 29 March 2000

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008278803780

zbMATH Keywords

free logicquantified modal logicproof systemslabelled deductive systemslabelled natural deductionmodal logic theorem prover

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Recommendations

• Labelled proofs for quantified modal logic
• A Systematic Presentation of Quantified Modal Logics
• Propositional quantifiers in labelled natural deduction for normal modal logic
• Labelled propositional modal logics: theory and practice

Cited in

(13)

• Propositional quantifiers in labelled natural deduction for normal modal logic
• Labelled calculi for quantified modal logics with definite descriptions
• An approach to infinitary temporal proof theory
• scientific article; zbMATH DE number 1950267 (Why is no real title available?)
• A spatial logic with time and quantifiers
• Labelled proofs for quantified modal logic
• Quantified modal logics: one approach to rule (almost) them all!
• scientific article; zbMATH DE number 5734940 (Why is no real title available?)
• Mechanizing common knowledge logic using COQ
• scientific article; zbMATH DE number 1523046 (Why is no real title available?)
• scientific article; zbMATH DE number 4116498 (Why is no real title available?)
• Proof theory for quantified monotone modal logics
• A Systematic Presentation of Quantified Modal Logics

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication: Labelled modal logics: Quantifiers

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