Axioms for a Logic of Consequential Counterfactuals.
Claudio E. A. PizziPublished in: Log. J. IGPL (2023)
Keyphrases
- set theory
- computational properties
- knowledge base
- sound and complete axiomatization
- modal logic
- logic programming
- first order logic
- horn clauses
- logical theories
- classical logic
- automated reasoning
- case study
- nonmonotonic logics
- asynchronous circuits
- logical language
- multi valued
- neural network
- bayesian networks
- predicate logic
- proof theory
- search engine
- artificial intelligence