Implementing a relational theorem prover for modal logic
From MaRDI portal
Publication:3008387
DOI10.1080/00207160.2010.493211zbMath1229.03019OpenAlexW2009739854MaRDI QIDQ3008387
Emilio Muñoz-Velasco, Ángel Mora, Joanna Golińska-Pilarek
Publication date: 15 June 2011
Published in: International Journal of Computer Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207160.2010.493211
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
On the existence and unicity of stable models in normal residuated logic programs ⋮ Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
Uses Software
Cites Work
- Proof analysis in modal logic
- A proof system for contact relation algebras
- Rasiowa-Sikorski deduction systems in computer science applications.
- lean\(T^ AP\): Lean tableau-based deduction
- A benchmark method for the propositional modal logics K, KT, S4
- Single step tableaux for modal logics. Computational properties, complexity and methodology
- A new deduction system for deciding validity in modal logic K
- Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
- On Automating the Calculus of Relations
- Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
- An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
- Relational dual tableaux for interval temporal logics ★
- An efficient relational deductive system for propositional non-classical logics
- Relational proof system for relevant logics
- The Tableau Workbench
- An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
This page was built for publication: Implementing a relational theorem prover for modal logic
