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

DOI10.1215/00294527-1722773MaRDI QIDQ691133zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A simplified embedding of E into monomodal K
• Embeddings of propositional monomodal logics
• scientific article; zbMATH DE number 5295715
• scientific article; zbMATH DE number 3957053
• scientific article; zbMATH DE number 218532

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3771571 (Why is no real title available?)
• scientific article; zbMATH DE number 3254863 (Why is no real title available?)
• scientific article; zbMATH DE number 970636 (Why is no real title available?)
• A simplified embedding of E into monomodal K
• An alternative rule of disjunction in modal logic
• Embeddings of propositional monomodal logics
• Generalized equivalence: A pattern of mathematical expression
• Inverses for normal modal operators
• Normal monomodal logics can simulate all others
• On the logic of ability
• Some remarks on (weakly) weak modal logics
• The principle of separation of variables in propositional logics
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(2)

• A simplified embedding of E into monomodal K
• Embeddings of propositional monomodal logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q691133)