Some embedding theorems for modal logic

DOI10.1305/ndjfl/1093894226zbMath0193.29301OpenAlexW1969285530MaRDI QIDQ2538520

David Makinson

Publication date: 1971

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

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

zbMATH Keywords

general logic

Mathematics Subject Classification ID

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

Related Items (24)

An algebraic theory of normal forms ⋮ Properties of independently axiomatizable bimodal logics ⋮ Orthogonal frames and indexed relations ⋮ The structure of lattices of subframe logics ⋮ CARNAP’S PROBLEM FOR MODAL LOGIC ⋮ DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC ⋮ Deduction theorem in congruential modal logics ⋮ Some Computational Constraints in Epistemic Logic ⋮ A note on the issue of cohesiveness in canonical models ⋮ Mathematical modal logic: A view of its evolution ⋮ Post completeness in modal logic ⋮ Reduction of tense logic to modal logic. I ⋮ Invariant Logics ⋮ On pretabular logics in NExtK4. II ⋮ Continuum many maximal consistent normal bimodal logics with inverses ⋮ Commutativity of Quantifiers in Varying-Domain Kripke Models ⋮ The lattice of modal logics: an algebraic investigation ⋮ The power of a propositional constant ⋮ Splitting lattices of logics ⋮ Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics ⋮ Rough polyadic modal logics ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM

This page was built for publication: Some embedding theorems for modal logic