scientific article

zbMATH Open0765.68172MaRDI QIDQ4028792FDOQ4028792

Richard B. Scherl, Alan M. Frisch

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (17)

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

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)