Second-order propositional modal logic: expressiveness and completeness results

DOI10.1016/j.artint.2018.07.004zbMath1436.03128OpenAlexW2884150062MaRDI QIDQ1731834

Louwe B. Kuijer, Francesco Belardinelli, Wiebe van der Hoek

Publication date: 14 March 2019

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2018.07.004

zbMATH Keywords

modal logicknowledge representationepistemic logiclocal propertiessecond-order propositional modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Higher-order logic (03B16)

Related Items (4)

An axiom system for basic hybrid logic with propositional quantifiers ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ On the logic of belief and propositional quantification ⋮ Unnamed Item

Cites Work

• Second-order propositional modal logic and monadic alternation hierarchies
• Elements of finite model theory.
• Local properties in modal logic
• Axiomatizing the monodic fragment of first-order temporal logic
• The expressive power of second-order propositional modal logic
• Johan van Benthem on logic and information dynamics
• Expressivity of second order propositional modal logic
• Quantified CTL: Expressiveness and Complexity
• Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
• Knowledge and common knowledge in a distributed environment
• Distributed knowledge
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• Propositional quantifiers in modal logic1
• Derivation rules as anti-axioms in modal logic
• Second-Order Logic and Foundations of Mathematics
• An alternative semantics for quantified relevant logic
• On modal logic with propositional quantifiers
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Second-order propositional modal logic: expressiveness and completeness results