Combining Temporal Logic Systems
Notre Dame Journal of Formal Logic 37 (2):204-232 (1996)
| 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,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesMarcelo Finger & Dov M. Gabbay (1992). Adding a Temporal Dimension to a Logic System. Journal of Logic, Language and Information 1 (3):203-233.
Dov M. Gabbay (1999). Fibring Logics. Clarendon Press.
Walter Carnielli & Marcelo E. Coniglio, Combining Logics. Stanford Encyclopedia of Philosophy.
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.
Dov M. Gabbay & Maarten de Rijke (eds.) (2000). Frontiers of Combining Systems. Research Studies Press.
Amílcar Sernadas, Cristina Sernadas & Carlos Caleiro (1997). Synchronization of Logics. Studia Logica 59 (2):217-247.
Wiebe van der Hoek & Michael Wooldridge (2003). Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and its Applications. Studia Logica 75 (1).
Joeri Engelfriet, Catholijn M. Jonker & Jan Treur (2002). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information 11 (2):195-225.
Wiebe van Der Hoek & Michael Wooldridge (2003). Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications. Studia Logica 75 (1):125 - 157.
David Fernández-Duque (2011). Dynamic Topological Logic Interpreted Over Minimal Systems. Journal of Philosophical Logic 40 (6):767-804.
Greg Restall (1997). Combining Possibilities and Negations. Studia Logica 59 (1):121-141.
Patrick Blackburn & Maarten de Rijke (1997). Zooming in, Zooming Out. Journal of Logic, Language and Information 6 (1):5-31.
David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska (2006). Relational Dual Tableaux for Interval Temporal Logics. Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Natasha Kurtonina & Maarten de Rijke (1997). Bisimulations for Temporal Logic. Journal of Logic, Language and Information 6 (4):403-425.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,982 of 549,196 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
