scientific article; zbMATH DE number 549980

zbMATH Open0796.03013MaRDI QIDQ4287499FDOQ4287499

Authors: Alan M. Frisch, Richard B. Scherl 

Publication date: 12 April 1994

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

Recommendations

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

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)

Cited In (15)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Resolution theorem proving in reified modal logics
• Reducing Modal Consequence Relations
• Modal Theorem Proving: An Equational Viewpoint
• Recent Advances in Constraints
• Solving the \$100 modal logic challenge
• Clausal presentation of theories in deduction modulo
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints
• Constraint programming for modelling and solving modal satisfiability
• On Skolemization in constrained logics

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)