Pages that link to "Item:Q1094406"
From MaRDI portal
The following pages link to Modal logics with functional alternative relations (Q1094406):
Displayed 7 items.
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- What is the upper part of the lattice of bimodal logics? (Q1327483) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
- Explicating logical independence (Q2301324) (← links)
- Continuum many maximal consistent normal bimodal logics with inverses (Q5937810) (← links)