On two approaches to modal theorem proving

zbMATH Open1274.68413MaRDI QIDQ4924965FDOQ4924965

Authors: Tatjana Timotijević, Zoran Ognjanović 

Publication date: 10 June 2013

Recommendations

• Publication:3490986
• Modal Theorem Proving: An Equational Viewpoint
• TABLEAUX: A general theorem prover for modal logics
• scientific article; zbMATH DE number 3877148
• Publication:3030268

Mathematics Subject Classification ID

Cited In (17)

• First-order modal tableaux
• Title not available (Why is that?)
• 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
• Modal Theorem Proving: An Equational Viewpoint
• Distributed modal theorem proving with KE
• On interactive proof-search for constructive modal necessity
• An empirical analysis of modal theorem provers
• On an automated translation of modal proof rules into formulas of the classical logic
• Presentation of proofs in modal natural deduction
• Title not available (Why is that?)
• Certification of prefixed tableau proofs for modal logic
• MOLOG: A system that extends PROLOG with modal logic
• Experiments in theorem proving for topological hybrid logic
• Theorem provers for every normal modal logic

This page was built for publication: On two approaches to modal theorem proving

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