Inaccessible worlds

DOI10.1305/ndjfl/1093870378zbMath0487.03007OpenAlexW4239097602MaRDI QIDQ1165229

I. L. Humberstone

Publication date: 1983

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870378

zbMATH Keywords

accessibility relationbi-modal framesbi-modal logic

Mathematics Subject Classification ID

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

Related Items (19)

Conditional logics of normality: A modal approach ⋮ MEREOLOGICAL BIMODAL LOGICS ⋮ European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987 ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ Boolean algebras arising from information systems ⋮ Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning ⋮ Information algebras ⋮ Mixed algebras and their logics ⋮ ``That will do: logics of deontic necessity and sufficiency ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ First-Order Resolution Methods for Modal Logics ⋮ The dynamics of epistemic attitudes in resource-bounded agents ⋮ Characterisation of main classes of fuzzy relations using fuzzy modal operators ⋮ Inequality without irreflexivity ⋮ PDL with negation of atomic programs ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ Fuzzy modal-like approximation operators based on double residuated lattices ⋮ Complete Axiomatization of a Relative Modal Logic with Composition and Intersection ⋮ An essay in combinatory dynamic logic

This page was built for publication: Inaccessible worlds