Plain Fibring and Direct Union of Logics with Matrix Semantics.
Marcelo E. ConiglioVíctor L. FernándezPublished in: IICAI (2005)
Keyphrases
- modal logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- propositional dynamic logic
- proof theory
- kripke models
- inference rules
- modal operators
- logic programming
- higher order logic
- proof theoretic
- default logic
- valued semantics
- expressive power
- temporal logic
- default reasoning
- formal semantics
- computational properties
- semantic information
- decision procedures
- default theories
- proof procedures
- database systems
- model theoretic
- metadata
- dynamic logic
- low rank
- singular value decomposition
- intuitionistic logic
- conceptual model