scientific article; zbMATH DE number 549980

MaRDI QIDQ4287499zbMATH OpenFDO

Authors Alan M. Frisch, Richard B. Scherl

Publication date 12 April 1994

zbMATH Keywords

completenesssoundnesspossible worlds semanticsmodal logic theorem proverconstraint logicautomated modal logic theorem provingnon-modal deductive system

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 140385
• Publication:3490986
• On two approaches to modal theorem proving
• TABLEAUX: A general theorem prover for modal logics

Cited in

(15)

• Solving the \$100 modal logic challenge
• Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints
• scientific article; zbMATH DE number 1688812 (Why is no real title available?)
• Constraint programming for modelling and solving modal satisfiability
• On Skolemization in constrained logics
• Resolution theorem proving in reified modal logics
• scientific article; zbMATH DE number 140385 (Why is no real title available?)
• scientific article; zbMATH DE number 5295858 (Why is no real title available?)
• Clausal presentation of theories in deduction modulo
• scientific article; zbMATH DE number 2233515 (Why is no real title available?)
• Recent Advances in Constraints
• Reducing Modal Consequence Relations
• Modal Theorem Proving: An Equational Viewpoint
• scientific article; zbMATH DE number 7454909 (Why is no real title available?)
• scientific article; zbMATH DE number 4164168 (Why is no real title available?)

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 Q4287499)