×

zbMATH — the first resource for mathematics

Balbiani, Philippe

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

Publications by Year

Citations contained in zbMATH Open

61 Publications have been cited 250 times in 200 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
24
2008
Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
18
2008
Group announcement logic. Zbl 1200.03015
Ågotnes, Thomas; Balbiani, Philippe; Van Ditmarsch, Hans; Seban, Pablo
16
2010
Tableaux for public announcement logic. Zbl 1189.03019
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
15
2010
Modal logics for region-based theories of space. Zbl 1142.03012
Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter
14
2007
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
Modal logics for incidence geometries. Zbl 0868.03009
Balbiani, Philippe; Fariñas del Cerro, Luis; Tinchev, Tinko; Vakarelov, Dimiter
10
1997
Subset space logic with arbitrary announcements. Zbl 1303.03038
Balbiani, Philippe; van Ditmarsch, Hans; Kudinov, Andrey
8
2013
PDL with intersection of programs: a complete axiomatization. Zbl 1181.03030
Balbiani, P.; Vakarelov, D.
7
2003
A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018
Balbiani, Philippe; Orlowska, Ewa
7
1999
The modal multilogic of geometry. Zbl 0921.03022
Balbiani, Philippe
7
1998
Dynamic logic of propositional assignments: a well-behaved variant of PDL. Zbl 1366.03208
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
6
2013
Agents that look at one another. Zbl 1272.68400
Balbiani, Philippe; Gasquet, Olivier; Schwarzentruber, François
6
2013
A modal logic for indiscernibility and complementarity in information systems. Zbl 1016.03026
Balbiani, Philippe; Vakarelov, Dimiter
6
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
Every world can see a Sahlqvist world. Zbl 1151.03011
Balbiani, P.; Shapirovsky, I.; Shethman, V.
5
2006
Modal logics for parallelism, orthogonality, and affine geometries. Zbl 1185.03024
Balbiani, Philippe; Goranko, Valentin
5
2002
Temporal here and there. Zbl 06658154
Balbiani, Philippe; Diéguez, Martín
4
2016
Two-sorted point-interval temporal logics. Zbl 1347.03030
Balbiani, Philippe; Goranko, Valentin; Sciavicco, Guido
4
2011
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 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
Definability and computability for PRSPDL. Zbl 1385.03033
Balbiani, Philippe; Tinchev, Tinko
3
2014
A tableau method for public announcement logics. Zbl 1132.68719
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
3
2007
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
The dynamics of epistemic attitudes in resource-bounded agents. Zbl 07075851
Balbiani, Philippe; Fernández-Duque, David; Lorini, Emiliano
2
2019
\(KD\) is nullary. Zbl 1398.03086
Balbiani, Philippe; Gencer, Çiğdem
2
2017
Unification in epistemic logics. Zbl 1398.03070
Balbiani, Philippe; Gencer, Çiğdem
2
2017
Unification in modal logic \(\mathrm{Alt}_1\). Zbl 1400.03037
Balbiani, Philippe; Tinchev, Tinko
2
2016
Tableaux methods for propositional dynamic logics with separating parallel composition. Zbl 06515531
Balbiani, Philippe; Boudou, Joseph
2
2015
Some truths are best left unsaid. Zbl 1300.03014
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
2
2012
Reasoning about permitted announcements. Zbl 1241.03017
Balbiani, P.; Seban, P.
2
2011
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
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
Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection. Zbl 1052.03008
Balbiani, Philippe
2
2003
A new proof of completeness for a relative modal logic with composition and intersection. Zbl 1032.03012
Balbiani, Philippe
2
2001
Elements of mechanical geometry. Zbl 0871.51010
Balbiani, Philippe; Dugat, Vincent; Fariñas del Cerro, Luis; Lopez, Anne
2
1994
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
1
2018
Undecidable problems for modal definability. Zbl 1444.03043
Balbiani, Philippe; Tinchev, Tinko
1
2017
About intuitionistic public announcement logic. Zbl 1400.03026
Balbiani, Philippe; Galmiche, Didier
1
2016
Before announcement. Zbl 1400.03027
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas
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
1
2015
Admissibility and unifiability in contact logics. Zbl 1326.03034
Balbiani, Philippe; Gencer, Çiğdem
1
2015
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
Ockhamist propositional dynamic logic: a natural link between PDL and CTL*. Zbl 1394.03049
Balbiani, Philippe; Lorini, Emiliano
1
2013
Sahlqvist theorems for precontact logics. Zbl 1291.03031
Balbiani, Philippe; Kikot, Stanislav
1
2012
Axiomatization and completeness of lexicographic products of modal logics. Zbl 1242.03048
Balbiani, Philippe
1
2011
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
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
Balbiani, Philippe (ed.); Suzuki, Nobu-Yuki (ed.); Wolter, Frank (ed.); Zakharyaschev, Michael (ed.)
1
2003
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
Terminological modal logic. Zbl 0955.03504
Balbiani, Philippe
1
1998
A translation from the modal logic of provability into K4. Zbl 0802.03013
Balbiani, Philippe; Herzig, Andreas
1
1994
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
1
2018
\(KD\) is nullary. Zbl 1398.03086
Balbiani, Philippe; Gencer, Çiğdem
2
2017
Unification in epistemic logics. Zbl 1398.03070
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
4
2016
Unification in modal logic \(\mathrm{Alt}_1\). Zbl 1400.03037
Balbiani, Philippe; Tinchev, Tinko
2
2016
About intuitionistic public announcement logic. Zbl 1400.03026
Balbiani, Philippe; Galmiche, Didier
1
2016
Before announcement. Zbl 1400.03027
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas
1
2016
Reasoning about negligibility and proximity in the set of all hyperreals. Zbl 1436.03326
Balbiani, Philippe
1
2016
Tableaux methods for propositional dynamic logics with separating parallel composition. Zbl 06515531
Balbiani, Philippe; Boudou, Joseph
2
2015
Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069
Balbiani, Philippe
1
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
8
2013
Dynamic logic of propositional assignments: a well-behaved variant of PDL. Zbl 1366.03208
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
6
2013
Agents that look at one another. Zbl 1272.68400
Balbiani, Philippe; Gasquet, Olivier; Schwarzentruber, François
6
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
Ockhamist propositional dynamic logic: a natural link between PDL and CTL*. Zbl 1394.03049
Balbiani, Philippe; Lorini, Emiliano
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
16
2010
Tableaux for public announcement logic. Zbl 1189.03019
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
15
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
24
2008
Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
18
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
Modal logics for region-based theories of space. Zbl 1142.03012
Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter
14
2007
A tableau method for public announcement logics. Zbl 1132.68719
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
3
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
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.
7
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 (ed.); Suzuki, Nobu-Yuki (ed.); Wolter, Frank (ed.); Zakharyaschev, Michael (ed.)
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
Elements of mechanical geometry. 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 top 5

Cited by 222 Authors

28 Balbiani, Philippe
18 van Ditmarsch, Hans Pieter
11 Herzig, Andreas
10 Lorini, Emiliano
9 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 Tinchev, Tinko
5 van der Hoek, Wiebe
4 Ågotnes, Thomas
4 Goranko, Valentin F.
4 Hoshi, Tomohiro
4 Khan, Md. Aquil
3 Baltag, Alexandru
3 Banerjee, Mohua
3 Boudou, Joseph
3 Bozzelli, Laura
3 Condotta, Jean-François
3 Diéguez, Martín
3 Gencer, Çigdem
3 Hansen, Jens Ulrik
3 Hodkinson, Ian Martin
3 Ivanova, Tatyana B.
3 Kooi, Barteld Pieter
3 Kuijer, Louwe Bouke
3 Ma, Minghui
3 Maubert, Bastien
3 Naumov, Pavel G.
3 Özgün, Aybüke
3 Pinchinat, Sophie
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 Cabalar, Pedro
2 Chen, Xiaoyu
2 Christoff, Zoé
2 Conradie, Willem J.
2 de Lima, Tiago
2 Dégremont, Cédric
2 Della Monica, Dario
2 Durhan, Salih
2 Fan, Jie
2 Fernández Duque, David
2 French, Tim
2 Gascon, Régis
2 Haeusler, Edward Hermann
2 Hartonas, Chrysafis
2 Heinemann, Bernhard
2 Holliday, Wesley H.
2 Knight, Sophia
2 Lando, Tamar
2 Liu, Hu
2 Lopes, Bruno Domeniciano
2 Maffre, Faustine
2 Montanari, Angelo
2 Morales, Antonio Valdés
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 Troquard, Nicolas
2 Veloso, Paulo Augusto S.
2 Veloso, Sheila R. M.
2 Wang, Dongming
2 Wen, Xuefeng
2 Zvesper, Jonathan Alexander
1 Aceto, Luca
1 Aguado, Felicidad
1 Alechina, Natasha
1 Alliot, Jean-Marc
1 Allo, Patrick
1 Asher, Nicholas M.
1 Atampore, Francis
1 Belkhir, Walid
1 Bennett, Brandon
1 Bolander, Thomas
1 Bonanno, Giacomo
1 Both, Alan
1 Brenas, Jon Haël
1 Bresolin, Davide
1 Brochenin, Rémi
...and 122 more Authors

Citations by Year