Similar Items: On the Expressiveness of the Ambient Logic
- Separability in the Ambient Logic
- Expressive Logics for Coinductive Predicates
- On the Expressiveness and Monitoring of Metric Temporal Logic
- Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
- Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
- On two-variable guarded fragment logic with expressive local Presburger constraints