Modal definability in enriched languages
From MaRDI portal
Publication:918533
DOI10.1305/ndjfl/1093635335zbMath0706.03016OpenAlexW2156708691MaRDI QIDQ918533
Publication date: 1990
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635335
Related Items
The Range of Modal Logic ⋮ MEREOLOGICAL BIMODAL LOGICS ⋮ Boolean algebras arising from information systems ⋮ Towards reasoning about Hoare relations ⋮ Information algebras ⋮ Simple weakly transitive modal algebras ⋮ Existential definability of modal frame classes ⋮ Tableaux methods for access control in distributed systems ⋮ Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse ⋮ Understanding the Brandenburger-Keisler paradox ⋮ Algebraization of quantifier logics, an introductory overview ⋮ A simple tableau system for the logic of elsewhere ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Interpolation in weakly transitive modal logics ⋮ Failure of interpolation in combined modal logics ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Hybrid Tableaux for the Difference Modality ⋮ PDL with negation of atomic programs ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ Modal logic with names ⋮ An essay in combinatory dynamic logic ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
