Fibred Algebraic Semantics for a Variety of non-Classical First-order Logics and Topological Logical Translation.
Yoshihiro MaruyamaPublished in: J. Symb. Log. (2021)
Keyphrases
- classical first order logic
- dynamic logic
- valued logic
- conditional logic
- logic programming
- model theoretic
- truth values
- first order logic
- logical formulas
- logical theories
- propositional dynamic logic
- proof theoretic
- modal logic
- default reasoning
- decision procedures
- predicate calculus
- classical logic
- higher order
- higher order logic
- logical properties
- propositional logic
- nonmonotonic logics
- sound and complete with respect
- logical framework
- expressive power
- epistemic logic
- operational semantics
- belief revision
- logic programs
- description logics
- logical language
- proof procedures
- deductive databases
- knowledge representation
- nonmonotonic reasoning
- probabilistic logic
- valued semantics
- algebraic structure
- multi valued
- situation calculus
- logical rules
- knowledge base
- abstract argumentation
- computational properties
- probabilistic reasoning
- cross language information retrieval
- formal semantics
- reasoning tasks
- answer sets
- machine translation
- predicate logic
- probabilistic knowledge
- logical structure
- autoepistemic logic