Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.
Georges HansoulBruno TeheuxPublished in: Stud Logica (2013)
Keyphrases
- proof theory
- propositional dynamic logic
- nonmonotonic logics
- conditional logic
- epistemic logic
- algebraic structure
- multi modal
- valued semantics
- expressive power
- modal logic
- higher order logic
- proof theoretic
- medical images
- relational databases
- relational data
- formal semantics
- classical logic
- algebraic operations
- logic programming
- algebraic operators
- dynamic logic
- data model
- default logic
- relational structures
- modal operators
- relational calculus
- valued logic
- databases
- intuitionistic logic
- aggregate functions
- autoepistemic logic
- default theories
- relational learning
- default reasoning
- inference rules
- higher order
- relational queries
- relational data model
- computational properties
- multi relational
- relational operators
- proof procedures
- semantic information
- database
- kripke models