Some relevance logics from the point of view of relational semantics.
Katalin BimbóPublished in: Log. J. IGPL (2016)
Keyphrases
- propositional dynamic logic
- proof theory
- nonmonotonic logics
- conditional logic
- expressive power
- epistemic logic
- proof theoretic
- default reasoning
- computational properties
- aggregate functions
- modal logic
- database query languages
- logic programming
- formal semantics
- relational calculus
- relational data
- valued semantics
- relational operators
- modal operators
- intuitionistic logic
- relational structures
- information retrieval
- propositional logic
- query language
- data model
- relational databases
- algebraic operations
- inference rules
- functional dependencies
- higher order logic
- semantic information