Tableaux for constructive concurrent dynamic logic.
Duminda WijesekeraAnil NerodePublished in: Ann. Pure Appl. Log. (2005)
Keyphrases
- dynamic logic
- modal logic
- classical first order logic
- decision procedures
- temporal logic
- inference rules
- reasoning about actions
- mutual exclusion
- imperative programs
- first order logic
- classical logic
- propositional dynamic logic
- multiple input
- agent programming
- concurrent programs
- database
- database systems
- sequent calculi
- default logic
- situation calculus
- data model
- xml documents
- neural network