Pages that link to "Item:Q1370458"
From MaRDI portal
The following pages link to Inverses for normal modal operators (Q1370458):
Displaying 5 items.
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Minimally congruential contexts: observations and questions on embedding E in K (Q691133) (← links)
- Characterizing right inverses for spatial constraint systems with applications to modal logic (Q1786563) (← links)
- Continuum many maximal consistent normal bimodal logics with inverses (Q5937810) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)