Pages that link to "Item:Q890969"
From MaRDI portal
The following pages link to Finite model property for negative modalities (Q890969):
Displaying 7 items.
- Routley star and hyperintensionality (Q830371) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Some modal operators over intuitionistic logic (Q2356087) (← links)
- On classical behavior of intuitionistic modalities (Q2987729) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- Double Negation Operator in Logic N ∗ (Q5741336) (← links)
- Normal companions of intuitionistic modal logics (Q6148006) (← links)