MSO Logic and the Partial Order Semantics of Place/Transition-Nets.
Mateus de Oliveira OliveiraPublished in: ICTAC (2015)
Keyphrases
- partial order
- default reasoning
- proof theory
- logical formulas
- declarative semantics
- partially ordered
- set theory
- cp nets
- logic programming
- modal operators
- conditional logic
- total order
- conceptual graphs
- sound and complete axiomatization
- nonmonotonic logics
- propositional dynamic logic
- operational semantics
- lattice structure
- monadic second order logic
- epistemic logic
- logic programs
- modal logic
- formal semantics
- preference relations
- regular expressions
- totally ordered
- data streams
- predicate logic
- temporal planning
- causal links