Plaza, Logics of public communications, Synth

Originally published in · 1989 · DOI 10.1007/s11229-007-9168-7

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it

open at publisher browse 2 citing papers

representative citing papers

cs.AI · 2026-01-28 · unverdicted · novelty 8.0

EPDDL is a new standardized PDDL-style language that captures the full semantics of Dynamic Epistemic Logic for epistemic planning tasks.

cs.LO · 2026-05-26 · unverdicted · novelty 7.0

Introduces DSL and DDSL as deontic logics on simplicial complexes for modeling joint commitments, with claimed soundness and completeness proofs.

Showing 2 of 2 citing papers.

The Epistemic Planning Domain Definition Language: Official Guideline cs.AI · 2026-01-28 · unverdicted · none · ref 20
EPDDL is a new standardized PDDL-style language that captures the full semantics of Dynamic Epistemic Logic for epistemic planning tasks.
A Dynamic Deontic Simplicial Logic for Joint Commitments cs.LO · 2026-05-26 · unverdicted · none · ref 22
Introduces DSL and DDSL as deontic logics on simplicial complexes for modeling joint commitments, with claimed soundness and completeness proofs.