Undivided and Indistinguishable Histories in Branching-Time Logics.
Alberto ZanardoPublished in: J. Log. Lang. Inf. (1998)
Keyphrases
- epistemic logic
- modal logic
- temporal logic
- model checking
- inference rules
- expressive power
- logical framework
- multi agent systems
- temporal reasoning
- multi faceted
- conditional logic
- search algorithm
- artificial intelligence
- propositional calculus
- databases
- classical logic
- propositional dynamic logic
- coalition logic
- mathematical theory
- inheritance reasoning
- nonmonotonic logics
- formal semantics
- image processing
- genetic algorithm
- information retrieval
- real world
- neural network