The following pages link to (Q5419897):
Displaying 4 items.
- The distributivity on bi-approximation semantics (Q306839) (← links)
- On the notion of bimodel for functorial semantics (Q1332449) (← links)
- Bi-approximation semantics for substructural logic at work (Q2904066) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)