Modal logics with functional alternative relations
From MaRDI portal
Publication:1094406
DOI10.1305/ndjfl/1093636763zbMath0631.03008MaRDI QIDQ1094406
Publication date: 1986
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093636763
finite model property; normal modal logic; lattice of extensions; lattice of normal extensions; quasi-normal extensions
03B45: Modal logic (including the logic of norms)
Related Items
Continuum many maximal consistent normal bimodal logics with inverses, Constructive linear-time temporal logic: proof systems and Kripke semantics, What is the upper part of the lattice of bimodal logics?, The structure of lattices of subframe logics, Proof theory for functional modal logic, Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD, Explicating logical independence