scientific article; zbMATH DE number 140385

MaRDI QIDQ4028792zbMATH OpenFDO

Authors Alan M. Frisch, Richard B. Scherl

Publication date 28 March 1993

zbMATH Keywords

automated modal logic theorem provingcompletenesshybrid reasoningsoundness

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(18)

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

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)