Undecidability of Partial Order Logics.

Rajeev Alur Doron A. Peled

Published in: Inf. Process. Lett. (1999)

Keyphrases

partial order
partially ordered
set theory
total order
description logics
modal logic
number restrictions
stable marriage
expressive power
default reasoning
inference rules
lattice structure
conceptual graphs
maximum weight
probabilistic planning
sequential patterns
totally ordered
multi agent
causal links