Representability in second-order propositional poly-modal logic

DOI10.2178/JSL/1190150147MaRDI QIDQ4779649zbMATH OpenOpenAlexFDO

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

Recommendations

• Expressivity of second order propositional modal logic
• Second-order propositional modal logic and monadic alternation hierarchies
• Propositional quantification in bimodal S5
• The expressive power of second-order propositional modal logic
• scientific article; zbMATH DE number 218546

Cites work

• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• On the complexity of propositional quantification in intuitionistic logic
• Solvable cases of the decision problem

Cited in

(15)

• Expressivity of second order propositional modal logic
• Existential second-order logic and modal logic with quantified accessibility relations
• scientific article; zbMATH DE number 7577569 (Why is no real title available?)
• All normal extensions of S5-squared are finitely axiomatizable
• On the logic of belief and propositional quantification
• A simple embedding of T into double S5
• Some formal semantics for epistemic modesty
• Propositional quantification in bimodal S5
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• Automated Reasoning with Analytic Tableaux and Related Methods
• A modal loosely guarded fragment of second-order propositional modal logic
• Second-order propositional modal logic: expressiveness and completeness results
• The expressive power of second-order propositional modal logic
• THE LOGIC OF SEQUENCE FRAMES
• Axiomatizability of propositionally quantified modal logics on relational frames

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

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