Minimally congruential contexts: observations and questions on embedding E in K

DOI10.1215/00294527-1722773zbMath1271.03030OpenAlexW2032691586MaRDI QIDQ691133

Lloyd Humberstone

Publication date: 29 November 2012

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

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1352383234

zbMATH Keywords

modal logic Emodal logic Ktranslational embeddings

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized equivalence: A pattern of mathematical expression
• On the logic of ability
• Some remarks on (weakly) weak modal logics
• An alternative rule of disjunction in modal logic
• Theory of logical calculi. Basic theory of consequence operations
• The principle of separation of variables in propositional logics
• Inverses for normal modal operators
• A simplified embedding of E into monomodal K
• Normal monomodal logics can simulate all others
• Embeddings of propositional monomodal logics

This page was built for publication: Minimally congruential contexts: observations and questions on embedding E in K