Pages that link to "Item:Q2399881"
From MaRDI portal
The following pages link to Neighborhood semantics for modal logic (Q2399881):
Displayed 13 items.
- <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT (Q6051425) (← links)
- The logic of action and control (Q6054057) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic (Q6067750) (← links)
- The logic of framing effects (Q6098218) (← links)
- An evidence logic perspective on Schotch-Jennings forcing (Q6118686) (← links)
- The logic of secrets and the interpolation rule (Q6133700) (← links)
- Neighborhood semantics for logic of knowing how (Q6147178) (← links)
- Normal companions of intuitionistic modal logics (Q6148006) (← links)
- The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions (Q6156417) (← links)
- A substructural approach to explicit modal logic (Q6156629) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
- Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)