The following pages link to (Q4815892):
Displaying 9 items.
- Inverse images of box formulas in modal logic (Q383565) (← links)
- A modal interpretation of the logic of interrogation (Q851195) (← links)
- Modal logics with the MacIntosh rule (Q1316410) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Provability in finite subtheories of PA and relative interpretability: a modal investigation (Q3760515) (← links)
- On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2 (Q4576061) (← links)
- On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 (Q4608558) (← links)
- Modal logics with relative accessibility relations (Q4632287) (← links)
- (Q5471131) (← links)
