Second-order propositional modal logic: expressiveness and completeness results
type: Item
instance of: scholarly article
title: Second-order propositional modal logic: expressiveness and completeness results
zbMATH Open document ID: 1436.03128
author: Francesco Belardinelli
author: Louwe B. Kuijer
author: Wiebe van der Hoek
published in: Artificial Intelligence
publication date: 2019-03-14T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B16
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 7036286
zbMATH Keywords: modal logic
zbMATH Keywords: knowledge representation
zbMATH Keywords: second-order propositional modal logic
zbMATH Keywords: epistemic logic
zbMATH Keywords: local properties
MaRDI profile type: Publication
full work available at URL: j.artint.2018.07.004
OpenAlex ID: W2884150062
cites work: Johan van Benthem on logic and information dynamics
cites work: Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
cites work: Modal logic
cites work: Q3408862
cites work: On modal logic with propositional quantifiers
cites work: Expressivity of second order propositional modal logic
cites work: Q3077955
cites work: Local properties in modal logic
cites work: Q4298571
cites work: Q4845472
cites work: Propositional quantifiers in modal logic1
cites work: Q3669373
cites work: Q4789451
cites work: Knowledge and common knowledge in a distributed environment
cites work: Q3883467
cites work: Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
cites work: MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
cites work: Q4227581
cites work: On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
cites work: The expressive power of second-order propositional modal logic
cites work: Q3384080
cites work: Q3085169
cites work: Second-order propositional modal logic and monadic alternation hierarchies
cites work: Quantified CTL: Expressiveness and Complexity
cites work: Elements of finite model theory.
cites work: An alternative semantics for quantified relevant logic
cites work: Q4858037
cites work: Distributed knowledge
cites work: Q3698787
cites work: On Computable Numbers, with an Application to the Entscheidungsproblem
cites work: Second-Order Logic and Foundations of Mathematics
cites work: Derivation rules as anti-axioms in modal logic
cites work: Axiomatizing the monodic fragment of first-order temporal logic
DOI: 10.1016/J.ARTINT.2018.07.004
description: scientific article; zbMATH DE number 7036286