Pages that link to "Item:Q3179402"
From MaRDI portal
The following pages link to Deriving Inverse Operators for Modal Logic (Q3179402):
Displaying 7 items.
- Characterizing right inverses for spatial constraint systems with applications to modal logic (Q1786563) (← links)
- Reasoning about distributed information with infinitely many agents (Q2043805) (← links)
- The inverse method application for non-classical logics (Q2806784) (← links)
- (Q3385648) (← links)
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method (Q3613403) (← links)
- On the expressiveness of spatial constraint systems (Q5240218) (← links)
- (Q5875391) (← links)