Pages that link to "Item:Q3391741"
From MaRDI portal
The following pages link to Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance (Q3391741):
Displaying 6 items.
- Reasoning about negligibility and proximity in the set of all hyperreals (Q301366) (← links)
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility (Q2915076) (← links)
- A PDL APPROACH FOR QUALITATIVE VELOCITY (Q3005946) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- A multimodal logic for closeness (Q4586231) (← links)
