Modal Extensions of the Logic of Abstract State Machines.
Flavio FerrarottiKlaus-Dieter SchewePublished in: ABZ (2024)
Keyphrases
- modal logic
- nonmonotonic logics
- default logic
- default theories
- classical logic
- modal operators
- temporal logic
- dynamic logic
- transition systems
- logic programming
- multi valued
- databases
- efficient implementation
- automated reasoning
- knowledge representation formalisms
- computational properties
- predicate logic
- epistemic logic
- kripke models
- nonmonotonic reasoning
- data sets
- neural network
- asynchronous circuits
- website
- truth values
- autoepistemic logic
- search algorithm
- set theory
- inference rules
- situation calculus
- default reasoning