Implicational Partial Galois Logics: Relational Semantics.
Eunsuk YangJ. Michael DunnPublished in: Logica Universalis (2021)
Keyphrases
- propositional dynamic logic
- proof theory
- conditional logic
- nonmonotonic logics
- expressive power
- epistemic logic
- valued semantics
- relational calculus
- computational properties
- relational databases
- proof theoretic
- relational data
- database query languages
- inference rules
- data model
- modal logic
- formal semantics
- default reasoning
- logic programming
- higher order logic
- relational structures
- aggregate functions
- proof procedures
- valued logic
- kripke models
- galois lattices
- programming language
- semantic information
- relational operators
- temporal logic
- modal operators
- default logic
- autoepistemic logic
- statistical relational learning
- classical logic