The Chinese Temporal Coverbs, Postpositions, Coverb-Postposition Pairs, and Their Temporal Logic.
York Chung-Ho YangJune-Jei KuoPublished in: PACLIC (1998)
Keyphrases
- temporal logic
- temporal knowledge
- linear temporal logic
- model checking
- temporal resolution
- modal logic
- satisfiability problem
- temporal properties
- concurrent systems
- verification method
- mazurkiewicz traces
- transition systems
- model checker
- temporal patterns
- temporal information
- temporal databases
- temporal data
- temporal constraints
- reactive systems
- temporal reasoning
- belief revision
- bounded model checking
- automata theoretic
- spatial and temporal