Tim French (french-t)

Contributions to Philosophie.ch

Bibliography

van Ditmarsch, Hans P., French, Tim and Pinchinat, Sophie. 2010. “Future Event Logic – Axioms and Complexity.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 77–99. London: King’s College Publications.
French, Tim. 2006. “Bisimulation Quantified Modal Logics: Decidability.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 147–166. London: King’s College Publications.
French, Tim and van Ditmarsch, Hans P. 2008. “Undecidability for Arbitrary Public Announcement Logic.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 23–42. London: College Publications.
French, Tim, Hales, James and Tay, Edwin. 2014. “A Composable Language for Action Models.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 197–216. London: King’s College Publications.
French, Tim, McCabe-Dansted, John and Reynolds, Mark A. 2012. “Synthesis for Temporal Logic over the Reals.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 217–238. London: King’s College Publications.
French, Tim, Meyden, Ron van der and Reynolds, Mark A. 2005. “Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.” in Advances in Modal Logic, volume V, edited by Renate A. Schmidt, Ian Pratt-Hartmann, Mark A. Reynolds, and Heinrich Theodor Wansing, pp. 53–72. London: King’s College Publications.
French, Tim and Reynolds, Mark A. 2003. “A Sound and Complete Proof System for QPTL.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 127–148. London: King’s College Publications.
Hales, James, French, Tim and Davies, Rowan. 2012. “Refinement Quantified Logics of Knowledge and Belief for Multiple Agents.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 317–338. London: King’s College Publications.