A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes.
Paolo BottoniDaniele GorlaStefano KasangianAnna LabellaPublished in: Math. Struct. Comput. Sci. (2018)
Keyphrases
- modal logic
- set theory
- nonmonotonic logics
- linear temporal logic
- spatio temporal
- temporal constraints
- dynamic logic
- spatial and temporal
- temporal reasoning
- temporal data
- classical logic
- temporal information
- space time
- neural network
- temporal aspects
- predicate logic
- logic programming
- temporal evolution
- process model
- multi valued
- database
- temporal patterns
- stochastic processes
- temporal databases
- temporal logic
- temporal dimension
- temporal analysis
- temporal consistency
- propositional logic
- truth values
- first order logic
- temporal behavior
- data sets