Topological semantics for paraconsistent and paracomplete logics.
David FuenmayorPublished in: Arch. Formal Proofs (2020)
Keyphrases
- valued semantics
- logic programming
- default logic
- valued logic
- inference rules
- propositional dynamic logic
- nonmonotonic logics
- consistent query answering
- epistemic logic
- proof theory
- classical logic
- conditional logic
- proof theoretic
- proof procedures
- expressive power
- modal logic
- possibilistic logic
- logic programs
- default theories
- propositional logic
- modal operators
- autoepistemic logic
- truth values
- higher order logic
- query language
- inconsistent knowledge
- computational properties
- logical framework
- topological properties
- formal semantics
- default reasoning
- dynamic logic
- nonmonotonic reasoning
- first order logic
- mobile robot
- kripke models