The following pages link to (Q3035258):
Displaying 4 items.
- Dual tableau-based decision procedures for relational logics with restricted composition operator (Q2901210) (← links)
- An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning (Q3643171) (← links)
- Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
- An extension of the Montague semantics (Q3988274) (← links)