On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras.

Aldo Figallo Orellano Inés Pascual

Published in: Stud Logica (2019)

Keyphrases

distributive lattices
modal logic
clifford algebra
databases
spatial reasoning
database
website
database systems
topological spaces
case study
pairwise
temporal reasoning
datalog programs
nonmonotonic logics
modal operators
boolean algebra