Infinitary action logic with exponentiation.
Stepan L. KuznetsovStanislav O. SperanskiPublished in: Ann. Pure Appl. Log. (2022)
Keyphrases
- reasoning about actions
- logic programming
- transition systems
- modal logic
- real time
- classical logic
- human actions
- automated reasoning
- multi valued
- propositional dynamic logic
- action descriptions
- asynchronous circuits
- digital circuits
- defeasible logic
- computational properties
- probability theory
- action recognition
- image sequences
- information systems