Pages that link to "Item:Q3643154"
From MaRDI portal
The following pages link to Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility (Q3643154):
Displaying 3 items.
- On the existence and unicity of stable models in normal residuated logic programs (Q2887039) (← links)
- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility (Q2915076) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)