The following pages link to (Q4011727):
Displaying 14 items.
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Modal logics with functional alternative relations (Q1094406) (← links)
- Peirce algebras (Q1333408) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- Relation algebras can tile (Q1961863) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- (Q3202993) (← links)
- Relational proof system for relevant logics (Q4032669) (← links)
- (Q4329272) (← links)
- Modal logics with relative accessibility relations (Q4632287) (← links)
- (Q4815892) (← links)
- Dual tableau-based decision procedures for fragments of the logic of binary relations (Q6599613) (← links)
- Reasoning about reversal-bounded counter machines (Q6599624) (← links)