On Epistemic Temporal Strategic Logic.
Sieuwert van OtterlooGeert JonkerPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- epistemic logic
- temporal epistemic
- model checking
- linear temporal logic
- modal operators
- dynamic epistemic logic
- temporal logic
- modal logic
- computation tree logic
- spatio temporal
- temporal information
- classical logic
- spatial and temporal
- knowledge management
- temporal constraints
- bounded model checking
- propositional dynamic logic
- multi agent systems
- temporal aspects
- multi valued
- logical framework
- temporal analysis
- automated reasoning
- asynchronous circuits
- computational properties
- neural network
- temporal data
- temporal patterns
- temporal reasoning
- logic programming
- case study
- decision making
- temporal dimension
- predicate logic
- temporal databases
- capacity planning
- temporal behavior
- space time
- collaborative learning