Two Neighborhood Semantics for Subintuitionistic Logics.
Dick de JonghFatemeh Shirmohammadzadeh MalekiPublished in: TbiLLC (2017)
Keyphrases
- propositional dynamic logic
- nonmonotonic logics
- proof theory
- conditional logic
- epistemic logic
- proof theoretic
- computational properties
- valued semantics
- formal semantics
- default reasoning
- expressive power
- inference rules
- modal logic
- logic programming
- modal operators
- reasoning tasks
- natural language
- kripke models
- proof procedures
- multi agent
- neighborhood information
- dynamic logic
- logical framework
- default logic
- semantic information
- programming language
- relational databases