On Logics of Perfect Paradefinite Algebras.

Joel Gomes Vitor Greati Sérgio Marcelino João Marcos Umberto Rivieccio

Published in: CoRR (2021)

Keyphrases

expressive power
modal logic
inference rules
spatial reasoning
nonmonotonic logics
temporal reasoning
clifford algebra
propositional dynamic logic
proof theory
epistemic logic
conditional logic
query language
proof theoretic
proof procedures
propositional calculus
data model
case study