A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential.
Stepan L. KuznetsovPublished in: Logic, Language, and Security (2020)
Keyphrases
- reasoning about actions
- logic programming
- transition systems
- truth table
- action theories
- neural network
- modal logic
- multi valued
- artificial intelligence
- sound and complete axiomatization
- asynchronous circuits
- deontic logic
- predicate logic
- classical logic
- logic programs
- defeasible logic
- nonmonotonic logics
- probability theory
- human actions
- formal theory
- data model
- proof theory
- reinforcement learning
- computer vision
- automata theoretic
- social networks