Pages that link to "Item:Q2957976"
From MaRDI portal
The following pages link to Multi-type display calculus for propositional dynamic logic (Q2957976):
Displayed 11 items.
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Proper multi-type display calculi for rough algebras (Q2333670) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- (Q3384065) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)