Some Modal and Temporal Translations of Generalized Basic Logic.
Wesley FussnerWilliam Javier Zuluaga BoteroPublished in: RAMiCS (2021)
Keyphrases
- modal logic
- nonmonotonic logics
- linear temporal logic
- spatio temporal
- temporal data
- classical logic
- spatial and temporal
- temporal information
- temporal databases
- temporal constraints
- temporal reasoning
- dynamic logic
- neural network
- temporal ordering
- temporal patterns
- logic programming
- databases
- automated reasoning
- temporal behavior
- temporal consistency
- temporal dimension
- proof theory
- asynchronous circuits
- epistemic logic
- digital circuits
- database systems
- temporal evolution
- fuzzy sets
- inference rules
- temporal logic