Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
From MaRDI portal
Publication:3643154
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
relational logicsdual tableau systemsmultimodal propositional logicorder-of-magnitude qualitative reasoning
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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