Product 1 over 1-Universality of Some Propositional Logics of Concurrent Programs.
Mars K. ValievPublished in: Theor. Comput. Sci. (1993)
Keyphrases
- concurrent programs
- modal logic
- default logic
- propositional logic
- concurrent programming
- cellular automata
- coalition logic
- process algebra
- first order logic
- propositional variables
- response time
- classical first order logic
- linearly ordered
- model checking
- knowledge acquisition
- web applications
- inference rules
- life cycle
- artificial intelligence