Hallden's Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency.
Hitoshi OmoriPublished in: DEXA Workshops (2016)
Keyphrases
- classical logic
- modal logic
- logic programming
- valued semantics
- valued logic
- intuitionistic logic
- propositional dynamic logic
- propositional calculus
- computational properties
- proof theory
- inconsistent knowledge
- epistemic logic
- expressive power
- nonmonotonic logics
- proof theoretic
- formal language
- possibilistic logic
- default logic
- operational semantics
- knowledge representation formalisms
- model theoretic
- proof procedures
- consistent query answering
- sequent calculi
- autoepistemic logic
- decision procedures
- mathematical theory
- conditional logic
- multi valued
- inference rules
- logic programs
- description logics
- proof procedure
- modal operators
- formal logic
- knowledge base
- formal specification
- formal model