Minimal Semantics for Action Specifications in a Multi-modal Logic.
Jan M. BroersenRemco FeenstraRoel J. WieringaPublished in: FMLDO (1996)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- temporal logic
- transition systems
- conditional logic
- dynamic logic
- modal operators
- kripke models
- autoepistemic logic
- decision procedures
- situation calculus
- inference rules
- action theories
- description logic alc
- specification language
- prime implicates
- classical logic
- operational semantics
- concurrent systems
- model checking
- reasoning about actions
- default logic
- action language
- model checker
- action descriptions
- logic programming
- formal language
- model theoretic
- logical framework
- initial state
- control flow
- default reasoning
- programming language
- attribute grammars
- semantic information
- formal semantics
- partially ordered