Resolution theorem proving in reified modal logics

DOI10.1007/BF00881845zbMath0810.03009MaRDI QIDQ1332644

J. Stuart Aitken, Nigel Shadbolt, Han Reichgelt

Publication date: 20 April 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

modal logicreified logics

Mathematics Subject Classification ID

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

Related Items (2)

Avoiding omnidoxasticity in logics of belief: A reply to MacPherson ⋮ Representing scope in intuitionistic deductions

Uses Software

• TABLEAUX

Cites Work

• Structure sharing for quantified terms: Fundamentals
• Strategies for modal resolution: Results and problems
• First-order modal tableaux
• TABLEAUX: A general theorem prover for modal logics
• Reduction rules for resolution-based systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Resolution theorem proving in reified modal logics