Gautama and Almost Gautama Algebras and their associated logics.
Juan Manuel CornejoHanamantagouda P. SankappanavarPublished in: TFSS (2023)
Keyphrases
- expressive power
- relation algebra
- modal logic
- propositional calculus
- inference rules
- spatial reasoning
- propositional dynamic logic
- conditional logic
- computational properties
- temporal reasoning
- nonmonotonic logics
- clifford algebra
- database
- topological spaces
- epistemic logic
- classical logic
- data model
- evolutionary algorithm
- image sequences
- machine learning
- databases
- real time