×

zbMATH — the first resource for mathematics

Balbiani, Philippe

Compute Distance To:
Author ID: balbiani.philippe Recent zbMATH articles by "Balbiani, Philippe"
Published as: Balbiani, Philippe; Balbiani, P.
Documents Indexed: 110 Publications since 1991, including 2 Books

Publications by Year

Citations contained in zbMATH Open

62 Publications have been cited 261 times in 205 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
27
2008
Group announcement logic. Zbl 1200.03015
Ågotnes, Thomas; Balbiani, Philippe; Van Ditmarsch, Hans; Seban, Pablo
20
2010
Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
19
2008
Modal logics for region-based theories of space. Zbl 1142.03012
Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter
15
2007
Tableaux for public announcement logic. Zbl 1189.03019
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
14
2010
Modal logics for incidence geometries. Zbl 0868.03009
Balbiani, Philippe; Fariñas del Cerro, Luis; Tinchev, Tinko; Vakarelov, Dimiter
10
1997
Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning. Zbl 1057.68116
Balbiani, Philippe; Condotta, Jean-François
10
2002
Subset space logic with arbitrary announcements. Zbl 1303.03038
Balbiani, Philippe; van Ditmarsch, Hans; Kudinov, Andrey
9
2013
PDL with intersection of programs: a complete axiomatization. Zbl 1181.03030
Balbiani, P.; Vakarelov, D.
8
2003
The modal multilogic of geometry. Zbl 0921.03022
Balbiani, Philippe
7
1998
A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018
Balbiani, Philippe; Orlowska, Ewa
7
1999
Dynamic logic of propositional assignments: a well-behaved variant of PDL. Zbl 1366.03208
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
7
2013
A modal logic for indiscernibility and complementarity in information systems. Zbl 1016.03026
Balbiani, Philippe; Vakarelov, Dimiter
6
2002
Agents that look at one another. Zbl 1272.68400
Balbiani, Philippe; Gasquet, Olivier; Schwarzentruber, François
6
2013
Modal logics for parallelism, orthogonality, and affine geometries. Zbl 1185.03024
Balbiani, Philippe; Goranko, Valentin
5
2002
Every world can see a Sahlqvist world. Zbl 1151.03011
Balbiani, P.; Shapirovsky, I.; Shethman, V.
5
2006
Iteration-free PDL with intersection: A complete axiomatization. Zbl 0976.03037
Balbiani, Philippe; Vakarelov, Dimiter
4
2001
Tractability results in the block algebra. Zbl 1021.68087
Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis
4
2002
Two-sorted point-interval temporal logics. Zbl 1347.03030
Balbiani, Philippe; Goranko, Valentin; Sciavicco, Guido
4
2011
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
4
1999
Coalition games over Kripke semantics: expressiveness and complexity. Zbl 1244.03062
Balbiani, Philippe; Gasquet, Olivier; Herzig, Andreas; Schwarzentruber, François; Troquard, Nicolas
4
2008
Definability and computability for PRSPDL. Zbl 1385.03033
Balbiani, Philippe; Tinchev, Tinko
3
2014
Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069
Balbiani, Philippe
3
2015
Complete axiomatization of a relative modal logic with composition and intersection. Zbl 0923.03043
Balbiani, Philippe; Fariñas del Cerro, Luis
3
1998
A modal logic for data analysis. Zbl 0886.03015
Balbiani, Philippe
3
1996
Temporal here and there. Zbl 06658154
Balbiani, Philippe; Diéguez, Martín
3
2016
The dynamics of epistemic attitudes in resource-bounded agents. Zbl 07075851
Balbiani, Philippe; Fernández-Duque, David; Lorini, Emiliano
2
2019
Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization. Zbl 1444.03109
Balbiani, Philippe; Boudou, Joseph
2
2018
Unification in modal logic \(\mathrm{Alt}_1\). Zbl 1400.03037
Balbiani, Philippe; Tinchev, Tinko
2
2016
Dynamic logics of the region-based theory of discrete spaces. Zbl 1186.03039
Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter
2
2007
Unification in epistemic logics. Zbl 1398.03070
Balbiani, Philippe; Gencer, Çiğdem
2
2017
\(KD\) is nullary. Zbl 1398.03086
Balbiani, Philippe; Gencer, Çiğdem
2
2017
Tableaux methods for propositional dynamic logics with separating parallel composition. Zbl 1465.03050
Balbiani, Philippe; Boudou, Joseph
2
2015
A new proof of completeness for a relative modal logic with composition and intersection. Zbl 1032.03012
Balbiani, Philippe
2
2001
Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection. Zbl 1052.03008
Balbiani, Philippe
2
2003
Some truths are best left unsaid. Zbl 1300.03014
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
2
2012
Definability over the class of all partitions. Zbl 1116.03015
Balbiani, Philippe; Tinchev, Tinko
2
2006
Line-based affine reasoning in Euclidean plane. Zbl 1122.68118
Balbiani, Philippe; Tinchev, Tinko
2
2007
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
Reasoning about permitted announcements. Zbl 1241.03017
Balbiani, P.; Seban, P.
2
2011
Before announcement. Zbl 1400.03027
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas
1
2016
About intuitionistic public announcement logic. Zbl 1400.03026
Balbiani, Philippe; Galmiche, Didier
1
2016
Axiomatization and completeness of lexicographic products of modal logics. Zbl 1242.03048
Balbiani, Philippe
1
2011
Remarks about the unification type of several non-symmetric non-transitive modal logics. Zbl 07125821
Balbiani, Philippe
1
2019
Terminological modal logic. Zbl 0955.03504
Balbiani, Philippe
1
1998
Inequality without irreflexivity. Zbl 1033.03508
Balbiani, Philippe
1
1999
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
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 translation from the modal logic of provability into K4. Zbl 0802.03013
Balbiani, Philippe; Herzig, Andreas
1
1994
Sahlqvist theorems for precontact logics. Zbl 1291.03031
Balbiani, Philippe; Kikot, Stanislav
1
2012
Diagrammatic reasoning in projective geometry. Zbl 0949.03008
Balbiani, Philippe; Fariñas del Cerro, Luis
1
1999
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
1
1994
Dynamic extensions of arrow logic. Zbl 1061.03023
Balbiani, Philippe; Vakarelov, Dimiter
1
2004
On logics of group belief in structured coalitions. Zbl 06658155
Balbiani, Philippe; Pearce, David; Uridia, Levan
1
2016
Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008
Balbiani, Philippe (ed.); Suzuki, Nobu-Yuki (ed.); Wolter, Frank (ed.); Zakharyaschev, Michael (ed.)
1
2003
Undecidable problems for modal definability. Zbl 1444.03043
Balbiani, Philippe; Tinchev, Tinko
1
2017
Axiomatization and completeness of lexicographic products of modal logics. Zbl 1193.03035
Balbiani, Philippe
1
2009
A dynamic logic for termgraph rewriting. Zbl 1306.68062
Balbiani, Philippe; Echahed, Rachid; Herzig, Andreas
1
2010
Admissibility and unifiability in contact logics. Zbl 1326.03034
Balbiani, Philippe; Gencer, Çiğdem
1
2015
The dynamics of epistemic attitudes in resource-bounded agents. Zbl 07075851
Balbiani, Philippe; Fernández-Duque, David; Lorini, Emiliano
2
2019
Remarks about the unification type of several non-symmetric non-transitive modal logics. Zbl 07125821
Balbiani, Philippe
1
2019
Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization. Zbl 1444.03109
Balbiani, Philippe; Boudou, Joseph
2
2018
Unification in epistemic logics. Zbl 1398.03070
Balbiani, Philippe; Gencer, Çiğdem
2
2017
\(KD\) is nullary. Zbl 1398.03086
Balbiani, Philippe; Gencer, Çiğdem
2
2017
Undecidable problems for modal definability. Zbl 1444.03043
Balbiani, Philippe; Tinchev, Tinko
1
2017
Temporal here and there. Zbl 06658154
Balbiani, Philippe; Diéguez, Martín
3
2016
Unification in modal logic \(\mathrm{Alt}_1\). Zbl 1400.03037
Balbiani, Philippe; Tinchev, Tinko
2
2016
Before announcement. Zbl 1400.03027
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas
1
2016
About intuitionistic public announcement logic. Zbl 1400.03026
Balbiani, Philippe; Galmiche, Didier
1
2016
Reasoning about negligibility and proximity in the set of all hyperreals. Zbl 1436.03326
Balbiani, Philippe
1
2016
On logics of group belief in structured coalitions. Zbl 06658155
Balbiani, Philippe; Pearce, David; Uridia, Levan
1
2016
Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069
Balbiani, Philippe
3
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
1
2015
Definability and computability for PRSPDL. Zbl 1385.03033
Balbiani, Philippe; Tinchev, Tinko
3
2014
Subset space logic with arbitrary announcements. Zbl 1303.03038
Balbiani, Philippe; van Ditmarsch, Hans; Kudinov, Andrey
9
2013
Dynamic logic of propositional assignments: a well-behaved variant of PDL. Zbl 1366.03208
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
7
2013
Agents that look at one another. Zbl 1272.68400
Balbiani, Philippe; Gasquet, Olivier; Schwarzentruber, François
6
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
2
2012
Sahlqvist theorems for precontact logics. Zbl 1291.03031
Balbiani, Philippe; Kikot, Stanislav
1
2012
Two-sorted point-interval temporal logics. Zbl 1347.03030
Balbiani, Philippe; Goranko, Valentin; Sciavicco, Guido
4
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
1
2011
Group announcement logic. Zbl 1200.03015
Ågotnes, Thomas; Balbiani, Philippe; Van Ditmarsch, Hans; Seban, Pablo
20
2010
Tableaux for public announcement logic. Zbl 1189.03019
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
14
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
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
27
2008
Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
19
2008
Coalition games over Kripke semantics: expressiveness and complexity. Zbl 1244.03062
Balbiani, Philippe; Gasquet, Olivier; Herzig, Andreas; Schwarzentruber, François; Troquard, Nicolas
4
2008
Modal logics for region-based theories of space. Zbl 1142.03012
Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter
15
2007
Dynamic logics of the region-based theory of discrete spaces. Zbl 1186.03039
Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter
2
2007
Line-based affine reasoning in Euclidean plane. Zbl 1122.68118
Balbiani, Philippe; Tinchev, Tinko
2
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
2
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.
8
2003
Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection. Zbl 1052.03008
Balbiani, Philippe
2
2003
Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008
Balbiani, Philippe; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
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
10
2002
A modal logic for indiscernibility and complementarity in information systems. Zbl 1016.03026
Balbiani, Philippe; Vakarelov, Dimiter
6
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
4
2002
Iteration-free PDL with intersection: A complete axiomatization. Zbl 0976.03037
Balbiani, Philippe; Vakarelov, Dimiter
4
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
7
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
4
1999
Inequality without irreflexivity. Zbl 1033.03508
Balbiani, Philippe
1
1999
Diagrammatic reasoning in projective geometry. Zbl 0949.03008
Balbiani, Philippe; Fariñas del Cerro, Luis
1
1999
The modal multilogic of geometry. Zbl 0921.03022
Balbiani, Philippe
7
1998
Complete axiomatization of a relative modal logic with composition and intersection. Zbl 0923.03043
Balbiani, Philippe; Fariñas del Cerro, Luis
3
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
A translation from the modal logic of provability into K4. Zbl 0802.03013
Balbiani, Philippe; Herzig, Andreas
1
1994
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
1
1994
all top 5

Cited by 216 Authors

29 Balbiani, Philippe
20 van Ditmarsch, Hans Pieter
12 Herzig, Andreas
10 Lorini, Emiliano
8 Demri, Stéphane P.
8 Vakarelov, Dimiter
7 Schwarzentruber, François
6 Benevides, Mario R. F.
6 Rybakov, Vladimir Vladimirovich
6 Sciavicco, Guido
5 Broersen, Jan M.
5 Fariñas del Cerro, Luis
5 Naumov, Pavel G.
5 Tinchev, Tinko
5 van der Hoek, Wiebe
4 Ågotnes, Thomas
4 Boudou, Joseph
4 Goranko, Valentin F.
4 Hoshi, Tomohiro
4 Ivanova, Tatyana B.
4 Khan, Md. Aquil
4 Özgün, Aybüke
3 Baltag, Alexandru
3 Banerjee, Mohua
3 Bozzelli, Laura
3 Condotta, Jean-François
3 French, Tim
3 Gencer, Çigdem
3 Hodkinson, Ian Martin
3 Knight, Sophia
3 Kooi, Barteld Pieter
3 Kuijer, Louwe Bouke
3 Ma, Minghui
3 Maubert, Bastien
3 Pinchinat, Sophie
3 Troquard, Nicolas
3 van Benthem, Johan F. A. K.
3 Xu, Ming
2 Aiello, Marco
2 Aucher, Guillaume
2 Bezhanishvili, Guram
2 Bezhanishvili, Nick
2 Bjorndahl, Adam
2 Bloch, Isabelle
2 Burrieza, Alfredo
2 Chen, Xiaoyu
2 Christoff, Zoé
2 Conradie, Willem J.
2 de Lima, Tiago
2 Dégremont, Cédric
2 Della Monica, Dario
2 Diéguez, Martín
2 Durhan, Salih
2 Fan, Jie
2 Fernández Duque, David
2 Gascon, Régis
2 Georgiev, Dimiter T.
2 Haeusler, Edward Hermann
2 Hales, James
2 Hansen, Jens Ulrik
2 Hartonas, Chrysafis
2 Heinemann, Bernhard
2 Holliday, Wesley H.
2 Lando, Tamar
2 Liu, Hu
2 Lopes, Bruno Domeniciano
2 Maffre, Faustine
2 Montanari, Angelo
2 Muñoz-Velasco, Emilio
2 Navarrete, Isabel
2 Olkhovikov, Grigory K.
2 Pacuit, Eric
2 Sack, Joshua
2 Sano, Katsuhiko
2 Seban, Pablo
2 Sioutis, Michael
2 Smets, Sonja J. L.
2 Song, Dan
2 Su, Ezgi Iraz
2 Tao, Jia
2 Veloso, Paulo Augusto S.
2 Veloso, Sheila R. M.
2 Wang, Dongming
2 Wen, Xuefeng
2 Zvesper, Jonathan Alexander
1 Aceto, Luca
1 Alechina, Natasha
1 Alliot, Jean-Marc
1 Allo, Patrick
1 Asher, Nicholas M.
1 Atampore, Francis
1 Belkhir, Walid
1 Bennett, Brandon
1 Białek, Łukasz
1 Bolander, Thomas
1 Bonanno, Giacomo
1 Both, Alan
1 Brenas, Jon Haël
1 Bresolin, Davide
1 Brochenin, Rémi
...and 116 more Authors

Citations by Year