The following pages link to INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964):
Displaying 13 items.
- Algebraic neighbourhood logic (Q929966) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)
- A new game equivalence, its logic and algebra (Q2323693) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- Generalized Quantifiers Meet Modal Neighborhood Semantics (Q5015970) (← links)
- (Q5016799) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- CARNAP’S PROBLEM FOR MODAL LOGIC (Q6045103) (← links)
- Expressivity results for deontic logics of collective agency (Q6088592) (← links)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)