Abstract | ||
---|---|---|
Dynamic logic has become a very useful tool in Computer Science, with direct applications in system specification. Here we show how to interpret first-order dynamic logic in an extension of the relational calculus of fork algebras. That is, reasoning in first-order dynamic logic can be replaced by equational reasoning in the extended relational calculus. This allows to: (a) incorporate the features of dynamic logic in a relational framework, and, (b) provide an equational calculus for reasoning in first-order dynamic logic. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1007/3-540-36280-0_5 | RelMiCS |
Keywords | Field | DocType |
equational calculus,dynamic logic,relational calculus,first-order dynamic logic,computer science,equational reasoning,relational framework,fork algebra,direct application,extended relational calculus,first order | Codd's theorem,Relational calculus,Situation calculus,Programming language,Natural deduction,Proof calculus,Algorithm,Tuple relational calculus,Many-valued logic,Mathematics,Dynamic logic (modal logic) | Conference |
Volume | ISSN | ISBN |
2561 | 0302-9743 | 3-540-00315-0 |
Citations | PageRank | References |
5 | 0.55 | 7 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marcelo F. Frias | 1 | 295 | 35.57 |
Gabriel Baum | 2 | 50 | 14.69 |
T. S. E. Maibaum | 3 | 887 | 173.97 |