Edit Profile (opens in new tab) Balbiani, Philippe Co-Author Distance Author ID: balbiani.philippe Published as: Balbiani, Philippe; Balbiani, P. Documents Indexed: 125 Publications since 1991, including 1 Book 2 Contributions as Editor Co-Authors: 58 Co-Authors with 100 Joint Publications 863 Co-Co-Authors all top 5 Co-Authors 27 single-authored 19 Tinchev, Tinko 12 Herzig, Andreas 11 Vakarelov, Dimiter 10 Gencer, Çigdem 10 van Ditmarsch, Hans Pieter 9 Fariñas del Cerro, Luis 6 Boudou, Joseph 6 Fernández Duque, David 6 Fernández González, Saúl 5 Condotta, Jean-François 5 Diéguez, Martín 4 de Lima, Tiago 3 Iliev, Petar 3 Rostamigiv, Maryam 3 Troquard, Nicolas 2 Cheikh, Fahima 2 Feuillade, Guillaume 2 Gasquet, Olivier 2 Goranko, Valentin F. 2 Lorini, Emiliano 2 Mojtahedi, Mojtaba 2 Schwarzentruber, François 2 Seban, Pablo 2 Uridia, Levan 1 Ågotnes, Thomas 1 Alechina, Natasha 1 Alizadeh, Majid 1 Ardeshir, Mohammad 1 Aszalós, László 1 Ayala-Rincón, Mauricio 1 Baltag, Alexandru 1 Challita, Khalil 1 Chevalier, Yannick 1 Dugat, Vincent 1 Echahed, Rachid 1 El Houri, Marwa 1 Galmiche, Didier 1 Georgiev, Dimiter T. 1 Gougeon, Quentin 1 Hoshi, Tomohiro 1 Ivanova, Tatyana B. 1 Kikot, Stanislav 1 Kudinov, Andreĭ Valer’evich 1 Kuijer, Louwe Bouke 1 Ligozat, Gérard 1 Lopez, Anne 1 Mikulás, Szabolcs 1 Orłowska, Ewa S. 1 Ozdemir, Zafer 1 Sciavicco, Guido 1 Shapirovsky, Ilya B. 1 Shethman, V. 1 Shkatov, Dmitry 1 Suzuki, Nobu-Yuki 1 van der Hoek, Wiebe 1 Wolter, Frank 1 Yaacoub, Antoun 1 Zakharyaschev, Michael Viktorovich all top 5 Serials 16 Journal of Applied Non-Classical Logics 8 Journal of Logic and Computation 7 Logic Journal of the IGPL 7 Fundamenta Informaticae 5 Journal of Applied Logic 4 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications 3 Studia Logica 2 Journal of Philosophical Logic 2 Logique et Analyse. Nouvelle Série 2 ACM Transactions on Computational Logic 1 Annales Societatis Mathematicae Polonae. Series IV 1 Annals of Pure and Applied Logic 1 International Journal of Intelligent Systems 1 MSCS. Mathematical Structures in Computer Science 1 Applied Intelligence 1 Annals of Mathematics and Artificial Intelligence 1 Revue d’Intelligence Artificielle 1 The Journal of Logic and Algebraic Programming 1 Studia Universitatis Babeș-Bolyai. Informatica 1 The Review of Symbolic Logic 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 115 Mathematical logic and foundations (03-XX) 60 Computer science (68-XX) 9 Geometry (51-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 General and overarching topics; collections (00-XX) 2 General topology (54-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 78 Publications have been cited 397 times in 294 Documents Cited by ▼ Year ▼ ‘Knowable’ as ‘known after an announcement’. Zbl 1208.03019 Balbiani, Philippe; Baltag, Alexandru; van Ditmarsch, Hans; Herzig, Andreas; Hoshi, Tomohiro; de Lima, Tiago 42 2008 Group announcement logic. Zbl 1200.03015 Ågotnes, Thomas; Balbiani, Philippe; Van Ditmarsch, Hans; Seban, Pablo 32 2010 Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008 Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas 26 2008 Modal logics for region-based theories of space. Zbl 1142.03012 Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter 21 2007 Tableaux for public announcement logic. Zbl 1189.03019 Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago 18 2010 Subset space logic with arbitrary announcements. Zbl 1303.03038 Balbiani, Philippe; van Ditmarsch, Hans; Kudinov, Andrey 13 2013 Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning. Zbl 1057.68116 Balbiani, Philippe; Condotta, Jean-François 12 2002 Dynamic logic of propositional assignments: a well-behaved variant of PDL. Zbl 1366.03208 Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas 11 2013 Modal logics for incidence geometries. Zbl 0868.03009 Balbiani, Philippe; Fariñas del Cerro, Luis; Tinchev, Tinko; Vakarelov, Dimiter 10 1997 A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018 Balbiani, Philippe; Orlowska, Ewa 9 1999 PDL with intersection of programs: a complete axiomatization. Zbl 1181.03030 Balbiani, P.; Vakarelov, D. 9 2003 The modal multilogic of geometry. Zbl 0921.03022 Balbiani, Philippe 8 1998 A modal logic for indiscernibility and complementarity in information systems. Zbl 1016.03026 Balbiani, Philippe; Vakarelov, Dimiter 8 2002 Temporal here and there. Zbl 1483.68365 Balbiani, Philippe; Diéguez, Martín 7 2016 Agents that look at one another. Zbl 1272.68400 Balbiani, Philippe; Gasquet, Olivier; Schwarzentruber, François 7 2013 Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069 Balbiani, Philippe 7 2015 The dynamics of epistemic attitudes in resource-bounded agents. Zbl 07075851 Balbiani, Philippe; Fernández-Duque, David; Lorini, Emiliano 7 2019 A tractable subclass of the block algebra: Constraint propagation and preconvex relations. Zbl 0964.68126 Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis 6 1999 Before announcement. Zbl 1400.03027 Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas 6 2016 Definability and computability for PRSPDL. Zbl 1385.03033 Balbiani, Philippe; Tinchev, Tinko 6 2014 Iteration-free PDL with intersection: A complete axiomatization. Zbl 0976.03037 Balbiani, Philippe; Vakarelov, Dimiter 6 2001 Two-sorted point-interval temporal logics. Zbl 1347.03030 Balbiani, Philippe; Goranko, Valentin; Sciavicco, Guido 6 2011 Every world can see a Sahlqvist world. Zbl 1151.03011 Balbiani, P.; Shapirovsky, I.; Shethman, V. 5 2006 Complete axiomatization of a relative modal logic with composition and intersection. Zbl 0923.03043 Balbiani, Philippe; Fariñas del Cerro, Luis 5 1998 Modal logics for parallelism, orthogonality, and affine geometries. Zbl 1185.03024 Balbiani, Philippe; Goranko, Valentin 5 2002 Coalition games over Kripke semantics: expressiveness and complexity. Zbl 1244.03062 Balbiani, Philippe; Gasquet, Olivier; Herzig, Andreas; Schwarzentruber, François; Troquard, Nicolas 5 2008 Tractability results in the block algebra. Zbl 1021.68087 Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis 5 2002 Intuitionistic linear temporal logics. Zbl 1433.03047 Balbiani, Philippe; Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David 5 2020 Some truths are best left unsaid. Zbl 1300.03014 Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago 4 2012 \(KD\) is nullary. Zbl 1398.03086 Balbiani, Philippe; Gencer, Çiğdem 4 2017 Deciding the word problem in pure double Boolean algebras. Zbl 1283.06027 Balbiani, Philippe 4 2012 Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization. Zbl 1444.03109 Balbiani, Philippe; Boudou, Joseph 4 2018 Definability over the class of all partitions. Zbl 1116.03015 Balbiani, Philippe; Tinchev, Tinko 3 2006 Line-based affine reasoning in Euclidean plane. Zbl 1122.68118 Balbiani, Philippe; Tinchev, Tinko 3 2007 A modal logic for data analysis. Zbl 0886.03015 Balbiani, Philippe 3 1996 About intuitionistic public announcement logic. Zbl 1400.03026 Balbiani, Philippe; Galmiche, Didier 3 2016 Unification in modal logic \(\mathrm{Alt}_1\). Zbl 1400.03037 Balbiani, Philippe; Tinchev, Tinko 3 2016 Dynamic logics of the region-based theory of discrete spaces. Zbl 1186.03039 Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter 3 2007 Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection. Zbl 1052.03008 Balbiani, Philippe 3 2003 Undecidable problems for modal definability. Zbl 1444.03043 Balbiani, Philippe; Tinchev, Tinko 3 2017 Unification in epistemic logics. Zbl 1398.03070 Balbiani, Philippe; Gencer, Çiğdem 3 2017 Elements of mechanical geometry. (Éléments de géométrie mécanique.) Zbl 0871.51010 Balbiani, Philippe; Dugat, Vincent; Fariñas del Cerro, Luis; Lopez, Anne 2 1994 Reasoning about permitted announcements. Zbl 1241.03017 Balbiani, P.; Seban, P. 2 2011 A new proof of completeness for a relative modal logic with composition and intersection. Zbl 1032.03012 Balbiani, Philippe 2 2001 On the consistency problem for the \(\mathcal {INDU}\) calculus. Zbl 1098.03038 Balbiani, Philippe; Condotta, Jean-François; Ligozat, Gérard 2 2006 A tableau method for public announcement logics. Zbl 1132.68719 Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago 2 2007 Axiomatization and completeness of lexicographic products of modal logics. Zbl 1242.03048 Balbiani, Philippe 2 2011 Tableaux methods for propositional dynamic logics with separating parallel composition. Zbl 1465.03050 Balbiani, Philippe; Boudou, Joseph 2 2015 Admissibility and unifiability in contact logics. Zbl 1326.03034 Balbiani, Philippe; Gencer, Çiğdem 2 2015 Remarks about the unification type of several non-symmetric non-transitive modal logics. Zbl 1494.03046 Balbiani, Philippe 2 2019 Sahlqvist theorems for precontact logics. Zbl 1291.03031 Balbiani, Philippe; Kikot, Stanislav 2 2012 Terminological modal logic. Zbl 0955.03504 Balbiani, Philippe 1 1998 Axiomatization and completeness of lexicographic products of modal logics. Zbl 1193.03035 Balbiani, Philippe 1 2009 Diagrammatic reasoning in projective geometry. Zbl 0949.03008 Balbiani, Philippe; Fariñas del Cerro, Luis 1 1999 Inequality without irreflexivity. Zbl 1033.03508 Balbiani, Philippe 1 1999 Dynamic extensions of arrow logic. Zbl 1061.03023 Balbiani, Philippe; Vakarelov, Dimiter 1 2004 Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008 1 2003 A translation from the modal logic of provability into K4. Zbl 0802.03013 Balbiani, Philippe; Herzig, Andreas 1 1994 On logics of group belief in structured coalitions. Zbl 1483.68366 Balbiani, Philippe; Pearce, David; Uridia, Levan 1 2016 Reasoning about negligibility and proximity in the set of all hyperreals. Zbl 1436.03326 Balbiani, Philippe 1 2016 Controller/orchestrator synthesis via filtration. Zbl 1345.68227 Balbiani, Philippe; Cheikh, Fahima; Feuillade, Guillaume 1 2010 Logical approaches to deontic reasoning: From basic questions to dynamic solutions. Zbl 1161.03009 Balbiani, Philippe 1 2008 Relational representation theorems for extended contact algebras. Zbl 07424395 Balbiani, Philippe; Ivanova, Tatyana 1 2021 Unification in modal logic. Zbl 07150803 Balbiani, Philippe 1 2019 Modal correspondence theory in the class of all Euclidean frames. Zbl 1444.03042 Balbiani, Philippe; Georgiev, Dimiter; Tinchev, Tinko 1 2018 Modal logics with relative accessibility relations. Zbl 1422.03029 Balbiani, Philippe 1 1996 Ockhamist propositional dynamic logic: a natural link between PDL and CTL*. Zbl 1394.03049 Balbiani, Philippe; Lorini, Emiliano 1 2013 Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders. Zbl 1398.03078 Balbiani, Philippe; Mikulás, Szabolcs 1 2013 A dynamic logic for termgraph rewriting. Zbl 1306.68062 Balbiani, Philippe; Echahed, Rachid; Herzig, Andreas 1 2010 Boolean logics with relations. Zbl 1206.03019 Balbiani, Philippe; Tinchev, Tinko 1 2010 About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \). Zbl 1486.03038 Balbiani, Philippe; Gencer, Çiğdem 1 2020 Quantifying over asynchronous information change. Zbl 07585706 Balbiani, Philippe; van Ditmarsch, Hans; Fernández González, Saúl 1 2020 Indexed frames and hybrid logics. Zbl 07585707 Balbiani, Philippe; Fernández González, Saúl 1 2020 Setting the basis for here and there modal logics. Zbl 1513.03038 Balbiani, Philippe; Diéguez, Martín; Fariñas del Cerro, Luis 1 2019 Asynchronous announcements. Zbl 1505.03038 Balbiani, Philippe; Van Ditmarsch, Hans; Fernández González, Saúl 1 2022 Modal logics for reasoning about infinite unions and intersections of binary relations. Zbl 1398.03084 Alechina, Natasha; Balbiani, Philippe; Shkatov, Dmitry 1 2012 Definability and canonicity for Boolean logic with a binary relation. Zbl 1349.03024 Balbiani, Philippe; Tinchev, Tinko 1 2014 Unification with parameters in the implication fragment of classical propositional logic. Zbl 1494.03025 Balbiani, Philippe; Mojtahedi, Mojtaba 1 2022 Asynchronous announcements. Zbl 1505.03038 Balbiani, Philippe; Van Ditmarsch, Hans; Fernández González, Saúl 1 2022 Unification with parameters in the implication fragment of classical propositional logic. Zbl 1494.03025 Balbiani, Philippe; Mojtahedi, Mojtaba 1 2022 Relational representation theorems for extended contact algebras. Zbl 07424395 Balbiani, Philippe; Ivanova, Tatyana 1 2021 Intuitionistic linear temporal logics. Zbl 1433.03047 Balbiani, Philippe; Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David 5 2020 About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \). Zbl 1486.03038 Balbiani, Philippe; Gencer, Çiğdem 1 2020 Quantifying over asynchronous information change. Zbl 07585706 Balbiani, Philippe; van Ditmarsch, Hans; Fernández González, Saúl 1 2020 Indexed frames and hybrid logics. Zbl 07585707 Balbiani, Philippe; Fernández González, Saúl 1 2020 The dynamics of epistemic attitudes in resource-bounded agents. Zbl 07075851 Balbiani, Philippe; Fernández-Duque, David; Lorini, Emiliano 7 2019 Remarks about the unification type of several non-symmetric non-transitive modal logics. Zbl 1494.03046 Balbiani, Philippe 2 2019 Unification in modal logic. Zbl 07150803 Balbiani, Philippe 1 2019 Setting the basis for here and there modal logics. Zbl 1513.03038 Balbiani, Philippe; Diéguez, Martín; Fariñas del Cerro, Luis 1 2019 Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization. Zbl 1444.03109 Balbiani, Philippe; Boudou, Joseph 4 2018 Modal correspondence theory in the class of all Euclidean frames. Zbl 1444.03042 Balbiani, Philippe; Georgiev, Dimiter; Tinchev, Tinko 1 2018 \(KD\) is nullary. Zbl 1398.03086 Balbiani, Philippe; Gencer, Çiğdem 4 2017 Undecidable problems for modal definability. Zbl 1444.03043 Balbiani, Philippe; Tinchev, Tinko 3 2017 Unification in epistemic logics. Zbl 1398.03070 Balbiani, Philippe; Gencer, Çiğdem 3 2017 Temporal here and there. Zbl 1483.68365 Balbiani, Philippe; Diéguez, Martín 7 2016 Before announcement. Zbl 1400.03027 Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas 6 2016 About intuitionistic public announcement logic. Zbl 1400.03026 Balbiani, Philippe; Galmiche, Didier 3 2016 Unification in modal logic \(\mathrm{Alt}_1\). Zbl 1400.03037 Balbiani, Philippe; Tinchev, Tinko 3 2016 On logics of group belief in structured coalitions. Zbl 1483.68366 Balbiani, Philippe; Pearce, David; Uridia, Levan 1 2016 Reasoning about negligibility and proximity in the set of all hyperreals. Zbl 1436.03326 Balbiani, Philippe 1 2016 Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069 Balbiani, Philippe 7 2015 Tableaux methods for propositional dynamic logics with separating parallel composition. Zbl 1465.03050 Balbiani, Philippe; Boudou, Joseph 2 2015 Admissibility and unifiability in contact logics. Zbl 1326.03034 Balbiani, Philippe; Gencer, Çiğdem 2 2015 Definability and computability for PRSPDL. Zbl 1385.03033 Balbiani, Philippe; Tinchev, Tinko 6 2014 Definability and canonicity for Boolean logic with a binary relation. Zbl 1349.03024 Balbiani, Philippe; Tinchev, Tinko 1 2014 Subset space logic with arbitrary announcements. Zbl 1303.03038 Balbiani, Philippe; van Ditmarsch, Hans; Kudinov, Andrey 13 2013 Dynamic logic of propositional assignments: a well-behaved variant of PDL. Zbl 1366.03208 Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas 11 2013 Agents that look at one another. Zbl 1272.68400 Balbiani, Philippe; Gasquet, Olivier; Schwarzentruber, François 7 2013 Ockhamist propositional dynamic logic: a natural link between PDL and CTL*. Zbl 1394.03049 Balbiani, Philippe; Lorini, Emiliano 1 2013 Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders. Zbl 1398.03078 Balbiani, Philippe; Mikulás, Szabolcs 1 2013 Some truths are best left unsaid. Zbl 1300.03014 Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago 4 2012 Deciding the word problem in pure double Boolean algebras. Zbl 1283.06027 Balbiani, Philippe 4 2012 Sahlqvist theorems for precontact logics. Zbl 1291.03031 Balbiani, Philippe; Kikot, Stanislav 2 2012 Modal logics for reasoning about infinite unions and intersections of binary relations. Zbl 1398.03084 Alechina, Natasha; Balbiani, Philippe; Shkatov, Dmitry 1 2012 Two-sorted point-interval temporal logics. Zbl 1347.03030 Balbiani, Philippe; Goranko, Valentin; Sciavicco, Guido 6 2011 Reasoning about permitted announcements. Zbl 1241.03017 Balbiani, P.; Seban, P. 2 2011 Axiomatization and completeness of lexicographic products of modal logics. Zbl 1242.03048 Balbiani, Philippe 2 2011 Group announcement logic. Zbl 1200.03015 Ågotnes, Thomas; Balbiani, Philippe; Van Ditmarsch, Hans; Seban, Pablo 32 2010 Tableaux for public announcement logic. Zbl 1189.03019 Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago 18 2010 Controller/orchestrator synthesis via filtration. Zbl 1345.68227 Balbiani, Philippe; Cheikh, Fahima; Feuillade, Guillaume 1 2010 A dynamic logic for termgraph rewriting. Zbl 1306.68062 Balbiani, Philippe; Echahed, Rachid; Herzig, Andreas 1 2010 Boolean logics with relations. Zbl 1206.03019 Balbiani, Philippe; Tinchev, Tinko 1 2010 Axiomatization and completeness of lexicographic products of modal logics. Zbl 1193.03035 Balbiani, Philippe 1 2009 ‘Knowable’ as ‘known after an announcement’. Zbl 1208.03019 Balbiani, Philippe; Baltag, Alexandru; van Ditmarsch, Hans; Herzig, Andreas; Hoshi, Tomohiro; de Lima, Tiago 42 2008 Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008 Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas 26 2008 Coalition games over Kripke semantics: expressiveness and complexity. Zbl 1244.03062 Balbiani, Philippe; Gasquet, Olivier; Herzig, Andreas; Schwarzentruber, François; Troquard, Nicolas 5 2008 Logical approaches to deontic reasoning: From basic questions to dynamic solutions. Zbl 1161.03009 Balbiani, Philippe 1 2008 Modal logics for region-based theories of space. Zbl 1142.03012 Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter 21 2007 Line-based affine reasoning in Euclidean plane. Zbl 1122.68118 Balbiani, Philippe; Tinchev, Tinko 3 2007 Dynamic logics of the region-based theory of discrete spaces. Zbl 1186.03039 Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter 3 2007 A tableau method for public announcement logics. Zbl 1132.68719 Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago 2 2007 Every world can see a Sahlqvist world. Zbl 1151.03011 Balbiani, P.; Shapirovsky, I.; Shethman, V. 5 2006 Definability over the class of all partitions. Zbl 1116.03015 Balbiani, Philippe; Tinchev, Tinko 3 2006 On the consistency problem for the \(\mathcal {INDU}\) calculus. Zbl 1098.03038 Balbiani, Philippe; Condotta, Jean-François; Ligozat, Gérard 2 2006 Dynamic extensions of arrow logic. Zbl 1061.03023 Balbiani, Philippe; Vakarelov, Dimiter 1 2004 PDL with intersection of programs: a complete axiomatization. Zbl 1181.03030 Balbiani, P.; Vakarelov, D. 9 2003 Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection. Zbl 1052.03008 Balbiani, Philippe 3 2003 Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008 1 2003 Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning. Zbl 1057.68116 Balbiani, Philippe; Condotta, Jean-François 12 2002 A modal logic for indiscernibility and complementarity in information systems. Zbl 1016.03026 Balbiani, Philippe; Vakarelov, Dimiter 8 2002 Modal logics for parallelism, orthogonality, and affine geometries. Zbl 1185.03024 Balbiani, Philippe; Goranko, Valentin 5 2002 Tractability results in the block algebra. Zbl 1021.68087 Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis 5 2002 Iteration-free PDL with intersection: A complete axiomatization. Zbl 0976.03037 Balbiani, Philippe; Vakarelov, Dimiter 6 2001 A new proof of completeness for a relative modal logic with composition and intersection. Zbl 1032.03012 Balbiani, Philippe 2 2001 A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018 Balbiani, Philippe; Orlowska, Ewa 9 1999 A tractable subclass of the block algebra: Constraint propagation and preconvex relations. Zbl 0964.68126 Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis 6 1999 Diagrammatic reasoning in projective geometry. Zbl 0949.03008 Balbiani, Philippe; Fariñas del Cerro, Luis 1 1999 Inequality without irreflexivity. Zbl 1033.03508 Balbiani, Philippe 1 1999 The modal multilogic of geometry. Zbl 0921.03022 Balbiani, Philippe 8 1998 Complete axiomatization of a relative modal logic with composition and intersection. Zbl 0923.03043 Balbiani, Philippe; Fariñas del Cerro, Luis 5 1998 Terminological modal logic. Zbl 0955.03504 Balbiani, Philippe 1 1998 Modal logics for incidence geometries. Zbl 0868.03009 Balbiani, Philippe; Fariñas del Cerro, Luis; Tinchev, Tinko; Vakarelov, Dimiter 10 1997 A modal logic for data analysis. Zbl 0886.03015 Balbiani, Philippe 3 1996 Modal logics with relative accessibility relations. Zbl 1422.03029 Balbiani, Philippe 1 1996 Elements of mechanical geometry. (Éléments de géométrie mécanique.) Zbl 0871.51010 Balbiani, Philippe; Dugat, Vincent; Fariñas del Cerro, Luis; Lopez, Anne 2 1994 A translation from the modal logic of provability into K4. Zbl 0802.03013 Balbiani, Philippe; Herzig, Andreas 1 1994 all cited Publications top 5 cited Publications all top 5 Cited by 307 Authors 36 Balbiani, Philippe 28 van Ditmarsch, Hans Pieter 15 Herzig, Andreas 12 Lorini, Emiliano 9 Demri, Stéphane P. 9 Özgün, Aybüke 9 Tinchev, Tinko 8 Boudou, Joseph 8 Rybakov, Vladimir Vladimirovich 8 Schwarzentruber, François 8 Vakarelov, Dimiter 7 Banerjee, Mohua 7 Benevides, Mario R. F. 7 Broersen, Jan M. 7 Naumov, Pavel G. 7 Sciavicco, Guido 6 Ågotnes, Thomas 6 Fariñas del Cerro, Luis 6 Khan, Md. Aquil 6 Kuijer, Louwe Bouke 5 Diéguez, Martín 5 Fernández Duque, David 5 Galimullin, Rustam 5 Gencer, Çigdem 5 Ivanova, Tatyana B. 5 van der Hoek, Wiebe 4 Alechina, Natasha 4 Baltag, Alexandru 4 Bezhanishvili, Nick 4 French, Tim 4 Goranko, Valentin F. 4 Hoshi, Tomohiro 4 Knight, Sophia 4 Tao, Jia 3 Bezhanishvili, Guram 3 Bjorndahl, Adam 3 Bozzelli, Laura 3 Burrieza, Alfredo 3 Cabalar, Pedro 3 Condotta, Jean-François 3 Conradie, Willem 3 Della Monica, Dario 3 Fan, Jie 3 Galmiche, Didier 3 Heinemann, Bernhard 3 Hodkinson, Ian Martin 3 Howlader, Prosenjit 3 Kooi, Barteld Pieter 3 Lando, Tamar 3 Ma, Minghui 3 Maubert, Bastien 3 Muñoz-Velasco, Emilio 3 Pinchinat, Sophie 3 Proietti, Carlo 3 Rybakov, Mikhail Nikolaevich 3 Shkatov, Dmitry 3 Troquard, Nicolas 3 van Benthem, Johan F. A. K. 3 Yuste-Ginel, Antonio 2 Aiello, Marco 2 Aucher, Guillaume 2 Berto, Francesco 2 Bloch, Isabelle 2 Chen, Xiaoyu 2 Christoff, Zoé 2 Costantini, Stefania 2 Courtault, Jean-René 2 Pérez de Guzmán, Inmaculada 2 de Lima, Tiago 2 Dégremont, Cédric 2 Durhan, Salih 2 Erdem, Esra 2 Gascon, Régis 2 Georgiev, Dimiter T. 2 Haeusler, Edward Hermann 2 Hales, James 2 Hansen, Jens Ulrik 2 Hartonas, Chrysafis 2 Izmirlioglu, Yusuf 2 Jonsson, Peter 2 Li, Kai 2 Liu, Hu 2 Lopes, Bruno Domeniciano 2 Madeira, Alexandre 2 Maffre, Faustine 2 Martins, Manuel António 2 Montanari, Angelo 2 Navarrete, Isabel 2 Olkhovikov, Grigory K. 2 Pacuit, Eric 2 Patel, Vineeta Singh 2 Sack, Joshua 2 Sano, Katsuhiko 2 Seban, Pablo 2 Sedlár, Igor 2 Sioutis, Michael 2 Skowron, Andrzej 2 Smets, Sonja J. L. 2 Song, Dan 2 Su, Ezgi Iraz ...and 207 more Authors all top 5 Cited in 42 Serials 26 Journal of Applied Non-Classical Logics 19 Studia Logica 17 Journal of Philosophical Logic 15 Synthese 14 Journal of Logic, Language and Information 12 Artificial Intelligence 12 Theoretical Computer Science 9 Annals of Pure and Applied Logic 9 Journal of Applied Logic 9 The Review of Symbolic Logic 6 Information and Computation 6 Annals of Mathematics and Artificial Intelligence 6 Journal of Logical and Algebraic Methods in Programming 4 International Journal of Approximate Reasoning 4 Logical Methods in Computer Science 3 Information Sciences 3 Theory and Practice of Logic Programming 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 Logica Universalis 2 The Journal of Symbolic Logic 2 Siberian Mathematical Journal 2 MSCS. Mathematical Structures in Computer Science 2 Mathematical Logic Quarterly (MLQ) 2 Logic and Logical Philosophy 2 ACM Transactions on Computational Logic 2 Logicheskie Issledovaniya 1 Acta Informatica 1 Algebra and Logic 1 Algebra Universalis 1 Fuzzy Sets and Systems 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Order 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 International Journal of Algebra and Computation 1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 1 Applied Categorical Structures 1 The Journal of Artificial Intelligence Research (JAIR) 1 Data Mining and Knowledge Discovery 1 The Journal of Logic and Algebraic Programming 1 Central European Journal of Mathematics 1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics all top 5 Cited in 20 Fields 252 Mathematical logic and foundations (03-XX) 149 Computer science (68-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 10 General topology (54-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Geometry (51-XX) 4 General algebraic systems (08-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Information and communication theory, circuits (94-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) 1 Biology and other natural sciences (92-XX) Citations by Year