as the logic of modal 3-valued Heyting algebras.

Marcelo Esteban Coniglio Aldo Figallo Orellano Alejandro Hernández-Tello Miguel Pérez-Gaspar

Published in: FLAP (2022)

Keyphrases

modal logic
set theory
nonmonotonic logics
multi valued
boolean algebra
relation algebra
classical logic

logic programming
inference rules
temporal logic
partial order
epistemic logic
learning algorithm
first order logic

modal operators
dynamic logic
valued logic
valued semantics
logical framework
distributive lattices

sound and complete axiomatization
propositional variables
topological spaces
formal theory
t norm
spatial reasoning