Pages that link to "Item:Q5302024"
From MaRDI portal
The following pages link to Relational Logics and Their Applications (Q5302024):
Displaying 17 items.
- Boolean logics with relations (Q604451) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Relations in monadic third-order logic (Q1372940) (← links)
- Relational Complexity and Higher Order Logics (Q2807086) (← links)
- Dual tableau-based decision procedures for relational logics with restricted composition operator (Q2901210) (← links)
- (Q3201035) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- Algebras of Relations and Relevance Logic (Q3623220) (← links)
- Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
- (Q4207888) (← links)
- Relation algebra and modal logics (Q4362879) (← links)
- The Relationlog system prototype (Q4791100) (← links)
- (Q4881682) (← links)
- Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems (Q5066087) (← links)
- (Q5491513) (← links)
- (Q5717094) (← links)
- LOGICS FOR THE RELATIONAL SYLLOGISTIC (Q5850983) (← links)