Modal logic for rewriting theories

Electronic Notes in Theoretical Computer Science

Volumn 36, Issue , 2000, Pages 175-193

  Pattinson, Dirk ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ALGEBRA; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; MATHEMATICAL MODELS; SEMANTICS; SET THEORY;

ALGEBRAIC SPECIFICATION; ATOMIC PROPOSITIONS; COALGEBRA STRUCTURE; REWRITE THEORY;

FORMAL LOGIC;

EID: 0009904425     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80145-8     Document Type: Conference Paper

References (25)

1. Andreka H., Benthem J.van, Nemeti I. Back and forth between modal and classical logic. J. of the IGPL. 3:(5):1995;685-720
2. Chagrov Alexander, Zakharyaschev Michael. Modal Logic. volume 35 of Oxford Logic Guides. 1997;Oxford Science Publications
3. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. A maude tutorial. Draft, March 2000. Available at http://maude.csl.sri.com/papers/.
4. Clavel M., Eker S., Lincoln P., Meseguer J. Principles of maude. Proc. 1st Intl. Workshop on Rewriting Logic and its Applications. 1996;Electronic Notes in Theoretical Computer Science
5. Denker Grit. From rewrite theories to temporal logic theories. Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications. 1998;Electronic Notes in Theoretical Computer Science. Elsevier
6. Diaconescu Razvǎn. Foundations of behavioural specification in rewriting logic. Electronic Notes in Theoretical Computer Science. 4:1996;. Proc. First International Workshop on Rewriting Logics and its applications
7. Fiadeiro J., Maibaum T., Martí-Oliet N., Meseguer J., Pita I. Towards a verification logic for rewriting logic. Recent Trends in Algebraic Development Techniques, WADT'99, France, Selected Papers, volume 1827 of Lecture Notes in Computer Science. 1999;Springer
8. Goguen J., Malcolm G. A hidden agenda. Technical Report CS97-538, UCSD. 1997
9. Goguen Joseph, Burstall Rod. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery. 39:(1):1992
10. Goldblatt Robert. Logics of Time and Computation. volume 7 of CSLI Lecture Notes. Center for the Study of Language and Information. Second Edition :1992;Stanford University
11. Hennicker R., Bidoit M. Observational logic. Proc. AMAST '98, 7th International Conference on Algebraic Methodology and Software Technology, number 1548 in Lecture Notes in Computer Science. 1999;Springer
12. Jacobs B., Rutten J. A tutorial on (co)algebras and (co)induction. EATCS Bulletin. 62:1997
13. Keisler H.J. Fundamentals of model theory. Barwise J., Feferman S. Handbook of Mathematical Logic. 1977;North Holland
14. Kurz Alexander. Specifying coalgebras with modal logic. Jacobs B., Moss L., Reichel H., Rutten J. Coalgebraic Methods in Computer Science (CMCS'98), volume 11 of Electronic Notes in Theoretical Computer Science. 1998;57-72
15. Lechner U. Object-oriented specifications of distributed systems in the m̈-calculus and maude. Electronic Notes in Theoretical Computer Science. 4:1996;. Proc. First International Workshop on Rewriting Logics and its applications
16. U. Lechner. Object-Oriented Specification of Distributed Systems. PhD thesis, University of Passau, 1997.
17. Lengauer C., Lechner U. Modal m̈-maude. Freitag B., Jones C.B., Lengauer C., Scheck H.-J. Object Orientation with Parallelism and Persistence. 1996;Kluwer
18. Makkai M. Admissible sets and infinitary logic. Barwise J., Feferman S. Handbook of Mathematical Logic. 1977;North Holland
19. Martí-Oliet Narciso, Meseguer José. Rewriting logic as a logical and semantic framework. Proc. 1st Intl. Workshop on Rewriting Logic and its Applications. 1996;Electronic Notes in Theoretical Computer Science. Elsevier
20. Meseguer José. Research directions in rewriting logic. Berger U., Schwichtenberg H. Computational Logic, NATO Advanced Study Institute. 1998;Springer
21. w1w and admissible fragments. Barwise J., Feferman S. Model-Theoretic Logics, Perspectives in Mathematical Logi. 1985;Springer
22. Röb̃ger Martin. Coalgebras and modal logic. Coalgebraic Methods in Computer Science (CMCS'00), volume 33 of Electronic Notes in Theoretical Computer Science. 2000
23. Jan Rutten. Universal coalgebra: A theory of systems. Theoretical Computer Science. To appear.
24. Colin Stirling. Modal and temporal logics. In S. Abramsky, D. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2. Oxford Science Publications, 1992.
25. Wirsing M. Algebraic specification. van Leuween J. Handbook of Theoretical Computer Science. 1990;Elsevier