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

DOI10.1215/00294527-1722773zbMATH Open1271.03030OpenAlexW2032691586MaRDI QIDQ691133FDOQ691133

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

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

zbMATH Keywords

modal logic Emodal logic Ktranslational embeddings

Mathematics Subject Classification ID

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

Cites Work

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

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)