Modal logics with functional alternative relations

DOI10.1305/NDJFL/1093636763zbMath0631.03008OpenAlexW2000283744MaRDI QIDQ1094406

Krister Segerberg

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

zbMATH Keywords

finite model propertynormal modal logiclattice of extensionslattice of normal extensionsquasi-normal extensions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (7)

What is the upper part of the lattice of bimodal logics? ⋮ Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD ⋮ The structure of lattices of subframe logics ⋮ Proof theory for functional modal logic ⋮ Continuum many maximal consistent normal bimodal logics with inverses ⋮ Explicating logical independence ⋮ Constructive linear-time temporal logic: proof systems and Kripke semantics

This page was built for publication: Modal logics with functional alternative relations