Philippe Balbiani (balbiani)

My contributions to Philosophie.ch

Bibliography

Balbiani, Philippe. 1998. “Terminological Modal Logic.” in Advances in Modal Logic, volume I, edited by Marcus Kracht, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 23–39. Stanford, California: CSLI Publications.
Balbiani, Philippe. 2004. “Reasoning about Vague Concepts in the Theory of Property Systems.” Logique et Analyse 47(185–188): 445–460.
Balbiani, Philippe. 2006. “An Expressive Two-Sorted Spatial Logic for Plane Projective Geometry.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 49–68. London: King’s College Publications.
Balbiani, Philippe. 2007a. “Dynamic Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2007/entries/logic-dynamic/.
Balbiani, Philippe. 2007b. “Propositional Dynamic Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2007/entries/logic-dynamic/.
Balbiani, Philippe, Condotta, Jean-François and Fariñas del Cerro, Luis. 1998. “A Model for Reasoning about Bidimensional Temporal Relations.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 124–130. San Francisco, California: Morgan Kaufmann Publishers.
Balbiani, Philippe, van Ditmarsch, Hans P. and Herzig, Andreas. 2016. “Before Announcement.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 58–77. London: King’s College Publications.
Balbiani, Philippe, van Ditmarsch, Hans P., Herzig, Andreas and de Lima, Tiago. 2012. “Some Truths Are Best Left Unsaid.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 36–54. London: King’s College Publications.
Balbiani, Philippe and Fariñas del Cerro, Luis. 1996. “A Relational Model of Movement.” Logique et Analyse 39(155–156): 369–378.
Balbiani, Philippe and Fariñas del Cerro, Luis. 1999. “Diagrammatic Reasoning in Projective Geometry.” in Logic, Language and Reasoning: Essays in Honour of Dov Gabbay, edited by Hans Jürgen Ohlbach and Uwe Reyle, pp. 99–114. Dordrecht: Kluwer Academic Publishers.
Balbiani, Philippe and Fernández-Duque, David. 2016. “Axiomatizing the Lexicographic Products of Modal Logics with Linear Temporal Logic.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 78–96. London: King’s College Publications.
Balbiani, Philippe and Galmiche, Didier. 2016. “About Intuitionistic Public Announcement Logic.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 97–116. London: King’s College Publications.
Balbiani, Philippe and Kikot, Stanislav. 2012. “Sahlqvist Theorems for Precontact Logics.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 55–70. London: King’s College Publications.
Balbiani, Philippe, Nobi-Yuki, Suzuki, Wolter, Frank and Zakharyaschev, Michael, eds. 2003. Advances in Modal Logic. vol. IV. London: King’s College Publications.
Balbiani, Philippe and Osmani, Aomar. 2000. “A Model for Reasoning about Topologic Relations between Cyclic Intervals.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 378–385. San Francisco, California: Morgan Kaufmann Publishers.
Balbiani, Philippe, Shapirovsky, I. and Shehtman, Valentin. 2006. “Every World Can See a Sahlqvist World.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 69–85. London: King’s College Publications.
Balbiani, Philippe and Tinchev, Tinko. 2014. “Definability and Computability for PRSPDL.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 16–33. London: King’s College Publications.
Balbiani, Philippe and Tinchev, Tinko. 2016. “Unification in Modal Logic Alt.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 117–134. London: King’s College Publications.
Balbiani, Philippe and Uridia, Levan. 2012. “Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 71–88. London: King’s College Publications.
Troquard, Nicolas and Balbiani, Philippe. 2015. “Propositional Dynamic Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2015/entries/logic-dynamic/.
Troquard, Nicolas and Balbiani, Philippe. 2019. “Propositional Dynamic Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2019/entries/logic-dynamic/.
Troquard, Nicolas and Balbiani, Philippe. 2023. “Propositional Dynamic Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2023/entries/logic-dynamic/.