Theory matrices (for modal logics) using alphabetical monotonicity

DOI10.1007/BF01058390zbMath0801.03007OpenAlexW1997262001MaRDI QIDQ687154

Ian Philip Gent

Publication date: 1 December 1994

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01058390

zbMATH Keywords

theorem provingmodal logicstableau systemsfirst-order logicsalphabetical monotonicitygeneral purpose reasoningmatrix characterization of validity

Mathematics Subject Classification ID

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

Related Items

Strongly analytic tableaux for normal modal logics, Labelled proofs for quantified modal logic

Cites Work

• Proof methods for modal and intuitionistic logics
• Automated deduction by theory resolution
• Theorem Proving via General Matings
• Methods for Automated Theorem Proving in Nonclassical Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item