as the logic of modal 3-valued Heyting algebras.
Marcelo Esteban ConiglioAldo Figallo OrellanoAlejandro Hernández-TelloMiguel Pérez-GasparPublished 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