Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View.
Sato KentaroPublished in: Stud Logica (2008)
Keyphrases
- propositional calculus
- propositional dynamic logic
- proof theory
- conditional logic
- epistemic logic
- nonmonotonic logics
- valued semantics
- higher order logic
- expressive power
- modal operators
- semantic information
- modal logic
- data sets
- proof theoretic
- formal semantics
- logic programming
- computational properties
- knowledge representation formalisms
- consistent query answering
- intuitionistic logic
- default reasoning
- database
- model checking
- valued logic
- proof procedures
- databases
- inference rules