Pages that link to "Item:Q2915901"
From MaRDI portal
The following pages link to Non-finitely axiomatisable two-dimensional modal logics (Q2915901):
Displaying 11 items.
- Axiomatization of modal logic squares with distinguished diagonal (Q650277) (← links)
- On the nonaxiomatizability of some logics by finitely many schemas (Q1820771) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- On the complexity of modal axiomatisations over many-dimensional structures (Q2904058) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- (Q3080425) (← links)
- The modal logic of affine planes is not finitely axiomatisable (Q3617371) (← links)
- (Q4215599) (← links)
- On the Products of Linear Modal Logics (Q4529490) (← links)
- (Q4735171) (← links)
- (Q4936643) (← links)