A Proof-Checker for Dynamic Logic
We consider the problem of getting a computer to follow reasoning conducted in dynamic logic. This is a recently developed logic of programs that subsumes most existing first-order logics of programs that manipulate their environment, including Floyd's and Hoare's logics of partial...
Main Authors: | Litvintchouk, S.D., Pratt, V.R. |
---|---|
Language: | en_US |
Published: |
2004
|
Online Access: | http://hdl.handle.net/1721.1/5762 |
Similar Items
-
A First Step Towards a Unified Proof Checker for QBF
by: Jussila, T, et al.
Published: (2007) -
An enhanced UML consistency checker using logical approach
by: Ibrahim, Noraini
Published: (2013) -
Logic : proof
by: Open University. Mathematics Foundation Course Team
Published: (1971) -
Relay checker and grader/
by: 280909 Ng, Chun Hau
Published: (1992) -
Wire layout checker
by: Raja Ravi
Published: (2008)