A simple embedding of T into double S5

DOI10.1305/ndjfl/1094155276zbMath1088.03020OpenAlexW1994385438MaRDI QIDQ558415

Steven T. Kuhn

Publication date: 6 July 2005

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

Full work available at URL: https://doi.org/10.1305/ndjfl/1094155276

zbMATH Keywords

propositional quantificationtranslation between T and double S5

Mathematics Subject Classification ID

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

Related Items (3)

On the logic of belief and propositional quantification ⋮ Propositional quantification in bimodal S5 ⋮ Some Formal Semantics for Epistemic Modesty

Cites Work

• Propositional quantifiers in modal logic1
• Representability in second-order propositional poly-modal logic

This page was built for publication: A simple embedding of T into double S5