Pages that link to "Item:Q1357375"
From MaRDI portal
The following pages link to Superintuitionistic companions of classical modal logics (Q1357375):
Displaying 11 items.
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- On logics with coimplication (Q1272827) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- Taming Modal Impredicativity: Superlazy Reduction (Q3605525) (← links)
- (Q4394923) (← links)
- (Q4856947) (← links)
- The variety of modal weak Gödel algebras (Q6083149) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
- Normal companions of intuitionistic modal logics (Q6148006) (← links)