Every world can see a reflexive world

DOI10.1007/BF00935597zbMath0719.03010OpenAlexW2042590814MaRDI QIDQ2639844

G. E. Hughes

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00935597

zbMATH Keywords

modal logicframesfinite model propertyreflexive world

Mathematics Subject Classification ID

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

Related Items (8)

Elementary generation and canonicity for varieties of Boolean algebras with operators ⋮ Decidability of modal logics of non-\(k\)-colorable graphs ⋮ Axiomatizing hybrid logic using modal logic ⋮ Modal definability of first-order formulas with free variables and query answering ⋮ A dichotomy for some elementarily generated modal logics ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ STABLE MODAL LOGICS ⋮ Canonical varieties with no canonical axiomatisation

This page was built for publication: Every world can see a reflexive world