Philippe Balbiani

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 65

Top Venues

CoRR

Advances in Modal Logic

Log. J. IGPL

AiML

Publications

Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
Local Intuitionistic Modal Logics and Their Calculi. CoRR (2024)
Philippe Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean
Constructive S4 modal logics with the finite birelational frame property. CoRR (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. CSL (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
Local Intuitionistic Modal Logics and Their Calculi. IJCAR (2) (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus. CoRR (2023)
Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer
Simple Axioms for Local Properties. TARK (2023)
Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi
Unification types in Euclidean modal logics. Log. J. IGPL 31 (3) (2023)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
Remarks about the unification types of some locally tabular normal modal logics. Log. J. IGPL 31 (1) (2023)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. Log. J. IGPL 30 (1) (2022)
Philippe Balbiani, Martín Diéguez, Çigdem Gencer
Advanced Languages of Terms for Ontologies. Description Logics (2022)
Philippe Balbiani, Mojtaba Mojtahedi
Unification with parameters in the implication fragment of classical propositional logic. Log. J. IGPL 30 (3) (2022)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of $\mathbf {K}+\square \square \bot $. Ann. Math. Artif. Intell. 90 (5) (2022)
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Asynchronous Announcements. ACM Trans. Comput. Log. 23 (2) (2022)
Philippe Balbiani, Saúl Fernández González
Parametrized modal logic I: An introduction. AiML (2022)
Philippe Balbiani
Parametrized Modal Logic II: The Unidimensional Case. DaLí (2022)
Philippe Balbiani, Çigdem Gencer
Advanced languages of terms for ontologies. JIAF (2022)
Philippe Balbiani, Quentin Gougeon
Projective unification through duality. AiML (2022)
Philippe Balbiani, Tatyana Ivanova
Relational Representation Theorems for Extended Contact Algebras. Stud Logica 109 (4) (2021)
Philippe Balbiani, Saúl Fernández González
Orthogonal Frames and Indexed Relations. WoLLIC (2021)
Philippe Balbiani, Martín Diéguez, David Fernández-Duque
Some constructive variants of S4 with the finite model property. CoRR (2021)
Philippe Balbiani, Martín Diéguez, David Fernández-Duque
Some constructive variants of S4 with the finite model property. LICS (2021)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv
About the Unification Type of Fusions of Modal Logic. FLAP 8 (3) (2021)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Bisimulations for Intuitionistic Temporal Logics. FLAP 8 (8) (2021)
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
From Public Announcements to Asynchronous Announcements. ECAI (2020)
Philippe Balbiani, Çigdem Gencer
About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$. Stud Logica 108 (5) (2020)
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Quantifying over Asynchronous Information Change. AiML (2020)
Mauricio Ayala-Rincón, Philippe Balbiani
Introduction to the special issue: Unification. Math. Struct. Comput. Sci. 30 (6) (2020)
Philippe Balbiani, Saúl Fernández González
Indexed Frames and Hybrid Logics. AiML (2020)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification types of the modal logics determined by classes of deterministic frames. CoRR (2020)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Intuitionistic Linear Temporal Logics. ACM Trans. Comput. Log. 21 (2) (2020)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of K+☐☐⊥. UNIF (2020)
Philippe Balbiani, Çigdem Gencer
About the unification type of simple symmetric modal logics. CoRR (2019)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini
Stratified Evidence Logics. IJCAI (2019)
Philippe Balbiani, Tinko Tinchev
Decidable and Undecidable Problems for First-Order Definability and Modal Definability. TbiLLC (2019)
Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro
Setting the Basis for Here and There Modal Logics. FLAP 6 (6) (2019)
Philippe Balbiani
Unification in Modal Logic. ICLA (2019)
Philippe Balbiani, Çigdem Gencer, Zafer Özdemir
Two decision problems in Contact Logics. Log. J. IGPL 27 (1) (2019)
Philippe Balbiani
Remarks about the unification type of several non-symmetric non-transitive modal logics. Log. J. IGPL 27 (5) (2019)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Intuitionistic Linear Temporal Logics. CoRR (2019)
Philippe Balbiani, Tatyana Ivanova
Representation theorems for extended contact algebras based on equivalence relations. CoRR (2019)
Philippe Balbiani, Joseph Boudou
Axiomatization and computability of a variant of iteration-free PDL with fork. J. Log. Algebraic Methods Program. 108 (2019)
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. Stud Logica 107 (3) (2019)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics. CoRR (2018)
Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev
Modal correspondence theory in the class of all Euclidean frames. J. Log. Comput. 28 (1) (2018)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity games and lower bounds on the complexity of modal axioms. CoRR (2018)
Philippe Balbiani, Joseph Boudou
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. J. Log. Comput. 28 (4) (2018)
Philippe Balbiani, Martín Diéguez
Here and There Modal Logic with Dual Implication. Advances in Modal Logic (2018)
Philippe Balbiani, Tinko Tinchev
Elementary Unification in Modal Logic KD45. FLAP 5 (1) (2018)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-Validity Games and Absolute Minimality of Modal Axioms. Advances in Modal Logic (2018)
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
Exploring the bidimensional space: A dynamic logic point of view. CoRR (2017)
Philippe Balbiani, Çigdem Gencer
KD is nullary. J. Appl. Non Class. Logics 27 (3-4) (2017)
Philippe Balbiani, Tinko Tinchev
Undecidable problems for modal definability. J. Log. Comput. 27 (3) (2017)
Philippe Balbiani, Çigdem Gencer
Finitariness of Elementary Unification in Boolean Region Connection Calculus. FroCoS (2017)
Philippe Balbiani, Çigdem Gencer
Unification in epistemic logics. J. Appl. Non Class. Logics 27 (1-2) (2017)
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
Exploring the Bidimensional Space: A Dynamic Logic Point of View. AAMAS (2017)
Philippe Balbiani, Joseph Boudou
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. DALI@TABLEAUX (2017)
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig
Before announcement. Advances in Modal Logic (2016)
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
A Logical Theory of Belief Dynamics for Resource-Bounded Agents. AAMAS (2016)
Philippe Balbiani
Reasoning about negligibility and proximity in the set of all hyperreals. J. Appl. Log. 16 (2016)
Philippe Balbiani, Martín Diéguez
Temporal Here and There. JELIA (2016)
Philippe Balbiani, Didier Galmiche
About intuitionistic public announcement logic. Advances in Modal Logic (2016)
Philippe Balbiani, David Pearce, Levan Uridia
On Logics of Group Belief in Structured Coalitions. JELIA (2016)
Philippe Balbiani
Solving equations in pure double Boolean algebras. UNIF (2016)
Philippe Balbiani, Tinko Tinchev
. Advances in Modal Logic (2016)
Philippe Balbiani, David Fernández-Duque
Axiomatizing the lexicographic products of modal logics with linear temporal logic. Advances in Modal Logic (2016)
Philippe Balbiani
. J. Appl. Non Class. Logics 25 (1) (2015)
Philippe Balbiani, Joseph Boudou
Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. CADE (2015)
Philippe Balbiani, Tinko Tinchev
Definability and Computability for PRSPDL. Advances in Modal Logic (2014)
Philippe Balbiani, Tinko Tinchev
Unification in the normal modal logic Alt1. UNIF (2014)
Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR (2014)
Philippe Balbiani, Tinko Tinchev
Definability and Canonicity for Boolean Logic with a Binary Relation. Fundam. Informaticae 129 (4) (2014)
Philippe Balbiani, Hans van Ditmarsch
A simple proof of the completeness of APAL. CoRR (2014)
Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov
Subset Space Logic with Arbitrary Announcements. ICLA (2013)
Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
Agents that look at one another. Log. J. IGPL 21 (3) (2013)
Philippe Balbiani, Szabolcs Mikulás
Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders. FroCos (2013)
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. LICS (2013)
Philippe Balbiani, Çigdem Gencer
Admissibility and Unifiability in Contact Logics. TbiLLC (2013)
Philippe Balbiani, Emiliano Lorini
Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL. WoLLIC (2013)
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
Some Truths Are Best Left Unsaid. Advances in Modal Logic (2012)
Philippe Balbiani, Stanislav Kikot
Sahlqvist Theorems for Precontact Logics. Advances in Modal Logic (2012)
Philippe Balbiani
Deciding the word problem in pure double Boolean algebras. J. Appl. Log. 10 (3) (2012)
Philippe Balbiani, Levan Uridia
Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders. Advances in Modal Logic (2012)
Natasha Alechina, Philippe Balbiani, Dmitry Shkatov
Modal logics for reasoning about infinite unions and intersections of binary relations. J. Appl. Non Class. Logics 22 (4) (2012)
Philippe Balbiani, Antoun Yaacoub
Deciding the Bisimilarity Relation between Datalog Goals. JELIA (2012)
Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini
Agents that speak: modelling communicative plans and information sources in a logic of announcements. AAMAS (2011)
Philippe Balbiani
The Word Problem in Semiconcept Algebras. CLA (2011)
Philippe Balbiani, Valentin Goranko, Guido Sciavicco
Two-sorted Point-Interval Temporal Logics. Electron. Notes Theor. Comput. Sci. 278 (2011)
Philippe Balbiani, Pablo Seban
Reasoning About Permitted Announcements. J. Philos. Log. 40 (4) (2011)
Philippe Balbiani
Axiomatization and completeness of lexicographic products of modal logics. J. Appl. Non Class. Logics 21 (2) (2011)
Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban
Group announcement logic. J. Appl. Log. 8 (1) (2010)
Philippe Balbiani, Tinko Tinchev
Boolean logics with relations. J. Log. Algebraic Methods Program. 79 (8) (2010)
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
Composition of Services with Constraints. Electron. Notes Theor. Comput. Sci. 263 (2010)
Philippe Balbiani
Tools and Techniques in Qualitative Reasoning about Space. FoIKS (2010)
Philippe Balbiani, Yannick Chevalier, Marwa El Houri
An intruder model for trust negotiation. CRiSIS (2010)
Philippe Balbiani, Rachid Echahed, Andreas Herzig
A Modal Logic for Termgraph Rewriting CoRR (2010)
Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade
Controller/Orchestrator Synthesis via Filtration. Electron. Notes Theor. Comput. Sci. 262 (2010)
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
Tableaux for Public Announcement Logic. J. Log. Comput. 20 (1) (2010)
Philippe Balbiani
Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints. TIME (2010)
Philippe Balbiani
Coherence Test on Graphs Constraints between Hyperintervals. ICTAI (1) (2010)
Philippe Balbiani, Rachid Echahed, Andreas Herzig
A Dynamic Logic for Termgraph Rewriting. ICGT (2010)

Philippe Balbiani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Philippe Balbiani