Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility

DOI10.1080/00207160902930752zbMath1181.03018OpenAlexW2118594800MaRDI QIDQ3643154

Joanna Golińska-Pilarek, Emilio Muñoz-Velasco

Publication date: 10 November 2009

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160902930752

zbMATH Keywords

relational logicsdual tableau systemsmultimodal propositional logicorder-of-magnitude qualitative reasoning

Mathematics Subject Classification ID

Related Items (3)

On the existence and unicity of stable models in normal residuated logic programs ⋮ On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility ⋮ Implementing a relational theorem prover for modal logic

Cites Work

• Unnamed Item
• Tableaux and dual tableaux: transformation of proofs
• Rasiowa-Sikorski deduction systems in computer science applications.
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• Relative and absolute order-of-magnitude models unified
• Number of non-Fregean sentential logics that have adequate models

This page was built for publication: Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility