Pages that link to "Item:Q5145647"
From MaRDI portal
The following pages link to Modal Intuitionistic Logics as Dialgebraic Logics (Q5145647):
Displaying 7 items.
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Topological duality for intuitionistic modal algebras (Q1977898) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$ (Q5014048) (← links)
- (Q5101334) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)