L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic colloquium '92, studies in logic language, and information
Journal of Logic, Language and Information 6 (4):453-457 (1997)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAlexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
Dag Westerståhl & Maarten de Rijke (1998). Editorial: Special Issues – the Ground-Rules. Journal of Logic, Language and Information 7 (2):iii-iv.
Maarten de Rijke (1999). Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann. Journal of Logic, Language and Information 8 (4):476-478.
Dov Gabbay & Ruth Kempson (1996). Language and Proof Theory. Journal of Logic, Language and Information 5 (3-4):247-251.
Maarten De Rijke (1998). A System of Dynamic Modal Logic. Journal of Philosophical Logic 27 (2):109 - 142.
Natasha Kurtonina (2000). Handbook of Logic and Language, Johan Van Benthem and Alice Ter Meulen, Eds. Journal of Logic, Language and Information 9 (2):263-269.
Ullrich Hustadt (2001). Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger. Journal of Logic, Language and Information 10 (3):406-410.
Natasha Kurtonina & Maarten de Rijke (1997). Bisimulations for Temporal Logic. Journal of Logic, Language and Information 6 (4):403-425.
Maarten de Rijke (1999). Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, Eds. Journal of Logic, Language and Information 8 (3):387-390.
Maarten de Rijke (2001). Handbook of Tableau Methods, Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, Eds. Journal of Logic, Language and Information 10 (4):518-523.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
