Inaccessible worlds

DOI10.1305/NDJFL/1093870378MaRDI QIDQ1165229zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(19)

• 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
• Inequality without irreflexivity
• Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
• PDL with negation of atomic programs
• Mixed algebras and their logics
• Information algebras
• The dynamics of epistemic attitudes in resource-bounded agents
• Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
• Boolean algebras arising from information systems
• MEREOLOGICAL BIMODAL LOGICS
• Characterisation of main classes of fuzzy relations using fuzzy modal operators
• Conditional logics of normality: A modal approach
• An essay in combinatory dynamic logic
• An efficient relational deductive system for propositional non-classical logics
• Fuzzy modal-like approximation operators based on double residuated lattices
• First-order resolution methods for modal logics
• On the modal logic of subset and superset: tense logic over Medvedev frames
• ``That will do: logics of deontic necessity and sufficiency

This page was built for publication: Inaccessible worlds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1165229)