×
Author ID: balbiani.philippe Recent zbMATH articles by "Balbiani, Philippe"
Published as: Balbiani, Philippe; Balbiani, P.

Publications by Year

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 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

Citations by Year