Labelled modal logics: Quantifiers

DOI10.1023/A:1008278803780zbMath0933.03016OpenAlexW1566446956MaRDI QIDQ1289100

Seán Matthews, Luca Viganò, David A. 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)

Related Items

Mechanizing common knowledge logic using COQ, An approach to infinitary temporal proof theory

Uses Software

• Isabelle