Some modal and temporal translations of generalized basic logic.
Wesley FussnerWilliam Javier Zuluaga BoteroPublished in: CoRR (2021)
Keyphrases
- modal logic
- nonmonotonic logics
- linear temporal logic
- spatio temporal
- modal operators
- temporal data
- temporal information
- temporal logic
- inference rules
- temporal consistency
- classical logic
- spatial and temporal
- temporal constraints
- temporal analysis
- temporal knowledge
- temporal databases
- transition systems
- space time
- logic programming
- digital circuits
- neural network
- propositional variables
- computational properties
- temporal relations
- multi valued
- temporal patterns
- expressive power
- rough sets
- information retrieval