Modal definability in enriched languages
From MaRDI portal
Publication:918533
DOI10.1305/ndjfl/1093635335zbMath0706.03016MaRDI 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
03B45: Modal logic (including the logic of norms)
Related Items
The Range of Modal Logic, Failure of interpolation in combined modal logics, Boolean algebras arising from information systems, An essay in combinatory dynamic logic, Algebraization of quantifier logics, an introductory overview, Modal logic with names, Towards reasoning about Hoare relations, Understanding the Brandenburger-Keisler paradox, Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse, PDL with negation of atomic programs, An efficient relational deductive system for propositional non-classical logics