Embeddings of propositional monomodal logics

DOI10.1093/JIGPAL/8.6.861zbMath0963.03035OpenAlexW1963857568MaRDI QIDQ4521289

Evgeni E. Zolin

Publication date: 25 June 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/8.6.861

zbMATH Keywords

modal logicembeddingexpressibilityprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (7)

Inverse images of box formulas in modal logic ⋮ Zolin and Pizzi: defining necessity from noncontingency ⋮ Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness ⋮ Minimally congruential contexts: observations and questions on embedding E in K ⋮ Synonymous logics: a correction ⋮ Explicating logical independence ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

This page was built for publication: Embeddings of propositional monomodal logics