Some embedding theorems for modal logic
From MaRDI portal
Publication:2538520
DOI10.1305/ndjfl/1093894226zbMath0193.29301OpenAlexW1969285530MaRDI QIDQ2538520
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
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
