Semantics for Logics without Contraction Using Ternary Relations.
Wendy MacCaullPublished in: RelMiCS (1997)
Keyphrases
- proof theory
- propositional dynamic logic
- nonmonotonic logics
- conditional logic
- epistemic logic
- temporal relations
- valued semantics
- expressive power
- formal semantics
- conceptual graphs
- horn logic
- higher order logic
- modal logic
- relational calculus
- modal operators
- default reasoning
- intended meaning
- belief revision
- inference rules
- binary relations
- proof procedures
- natural language processing
- proof theoretic
- consistent query answering
- lexical semantics
- algebraic structure
- logical framework
- semantic relations
- logic programming
- semantic constraints
- relational data model
- autoepistemic logic
- operational semantics
- knowledge representation formalisms
- computational properties
- belief change
- conceptual model
- logic programs
- knowledge representation
- kripke models