ACL RD-TEC 1.0 Summarization of P83-1006
Paper Title:
A MODAL TEMPORAL LOGIC FOR REASONING ABOUT CHANGE
A MODAL TEMPORAL LOGIC FOR REASONING ABOUT CHANGE
Primarily assigned technology terms:
Other assigned terms:
- abbreviations
- approach
- axioms
- break
- case
- conjunct
- decidability
- events
- existential quantifier
- first order theory
- first-order theory
- formal logic
- formalism
- frame
- implementation
- knowledge
- logic
- logical form
- method
- natural language
- natural language query
- predicates
- procedure
- process
- proposition
- propositions
- quantifier
- queries
- query
- relation
- representations
- symbol
- symbols
- syntax
- temporal logic
- temporal structure
- theorem
- theories
- theory
- transitive closure
- user
