scientific article; zbMATH DE number 140385

MaRDI QIDQ4028792zbMATHzbMATHFDO

Authors Alan M. Frisch, Richard B. Scherl

Publication date 28 March 1993

zbMATH Keywords

completenesssoundnesshybrid reasoningautomated modal logic theorem proving

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 549980
• scientific article; zbMATH DE number 517002
• Publication:3490986
• TABLEAUX: A general theorem prover for modal logics
• On two approaches to modal theorem proving

Cited in

(17)

• Multimodal logic programming using equational and order-sorted logic
• A Modal Extension of Weak Generalisation Predicate Logic
• A resolution principle for constrained logics
• Theorem proving with built-in hybrid theories
• Knowledge, action, and the frame problem
• Semantics and computation of the generalized modus ponens: The long paper
• scientific article; zbMATH DE number 989172 (Why is no real title available?)
• A general framework for FDE-based modal logics
• Generalized Modal Satisfiability
• Generalised modal realisation as a practical and efficient tool for FWL implementation
• scientific article; zbMATH DE number 5295858 (Why is no real title available?)
• Theory matrices (for modal logics) using alphabetical monotonicity
• Programming in metric temporal logic
• A Possible Modal Formulation of Comprehension Scheme
• scientific article; zbMATH DE number 1396179 (Why is no real title available?)
• Free variable tableaux for propositional modal logics
• Modal frame characterization by way of auxiliary modalities

This page was built for publication:

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