First-order justification logic with constant domain semantics.
Melvin FittingFelipe SalvatorePublished in: J. Log. Comput. (2020)
Keyphrases
- sound and complete with respect
- conditional logic
- model theoretic
- predicate calculus
- action theories
- logic programming
- nonmonotonic logics
- domain specific
- modal logic
- proof theory
- first order logic
- proof theoretic
- propositional dynamic logic
- operational semantics
- logical theories
- logical framework
- epistemic logic
- modal operators
- dynamic logic
- sound and complete axiomatization
- formal semantics
- asynchronous circuits
- derivation rules
- logical rules
- valued logic
- uml class diagrams
- formal language
- situation calculus
- computational properties
- active rules
- probabilistic logic
- algebraic structure
- horn clauses
- semantic information
- rule engine
- intuitionistic logic
- general logic programs
- classical logic