Parameterized Dynamic Logic - Towards A Cyclic Logical Framework for Program Verification via Operational Semantics.
Yuanrui ZhangPublished in: CoRR (2024)
Keyphrases
- logical framework
- dynamic logic
- operational semantics
- agent programming
- inference rules
- modal logic
- reasoning about actions
- belief revision
- formal semantics
- reasoning tasks
- imperative programs
- mental states
- first order logic
- data model
- propositional dynamic logic
- modal operators
- temporal logic
- description logics
- query language
- expert systems
- cooperative
- multi agent
- knowledge base
- machine learning
- database