Representability in second-order propositional poly-modal logic

DOI10.2178/jsl/1190150147zbMath1034.03014OpenAlexW2124207901MaRDI QIDQ4779649

Richmond H. Thomason, Gian Aldo Antonelli

Publication date: 2002

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

Full work available at URL: https://doi.org/10.2178/jsl/1190150147

zbMATH Keywords

decidabilitypropositional modal logicsecond-order modal logicmultiple modalities

Mathematics Subject Classification ID

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

Related Items (8)

THE LOGIC OF SEQUENCE FRAMES ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ On the logic of belief and propositional quantification ⋮ A simple embedding of T into double S5 ⋮ Unnamed Item ⋮ Propositional quantification in bimodal S5 ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ Some Formal Semantics for Epistemic Modesty

Cites Work

• Unnamed Item
• Solvable cases of the decision problem
• On the complexity of propositional quantification in intuitionistic logic

This page was built for publication: Representability in second-order propositional poly-modal logic