QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems.
Donghuo ChenGuangquan ZhangJinzhao WuPublished in: TASE (2007)
Keyphrases
- concurrent systems
- transition systems
- temporal logic
- modal logic
- modal operators
- formal theory
- distributed systems
- process algebra
- model checking
- predicate logic
- formal specification
- petri net
- spatial reasoning
- model checker
- logic programming
- probabilistic knowledge
- proof theory
- practical reasoning
- multi valued
- causal reasoning
- classical logic
- qualitative reasoning
- inconsistent knowledge
- case study
- inconsistent information
- description logics
- relational databases