# Philippe Balbiani

Affiliations:
• IRIT, Toulouse, France

According to our database1, Philippe Balbiani authored at least 152 papers between 1988 and 2021.

Collaborative distances:
• Dijkstra number2 of four.
• Erdős number3 of four.

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2021
Relational Representation Theorems for Extended Contact Algebras.
Stud Logica, 2021

About the Unification Type of Fusions of Modal Logic.
FLAP, 2021

Orthogonal Frames and Indexed Relations.
Proceedings of the Logic, Language, Information, and Computation, 2021

Some constructive variants of S4 with the finite model property.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Intuitionistic Linear Temporal Logics.
ACM Trans. Comput. Log., 2020

About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$.
Stud Logica, 2020

Introduction to the special issue: Unification.
Math. Struct. Comput. Sci., 2020

About the unification types of the modal logics determined by classes of deterministic frames.
CoRR, 2020

From Public Announcements to Asynchronous Announcements.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Indexed Frames and Hybrid Logics.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

Quantifying over Asynchronous Information Change.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.
Stud Logica, 2019

Axiomatization and computability of a variant of iteration-free PDL with fork.
J. Log. Algebraic Methods Program., 2019

Two decision problems in Contact Logics.
Log. J. IGPL, 2019

Remarks about the unification type of several non-symmetric non-transitive modal logics.
Log. J. IGPL, 2019

Setting the Basis for Here and There Modal Logics.
FLAP, 2019

About the unification type of simple symmetric modal logics.
CoRR, 2019

Representation theorems for extended contact algebras based on equivalence relations.
CoRR, 2019

Stratified Evidence Logics.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Unification in Modal Logic.
Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018
Modal correspondence theory in the class of all Euclidean frames.
J. Log. Comput., 2018

Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization.
J. Log. Comput., 2018

Elementary Unification in Modal Logic KD45.
FLAP, 2018

Frame-validity games and lower bounds on the complexity of modal axioms.
CoRR, 2018

Bisimulations for intuitionistic temporal logics.
CoRR, 2018

Frame-Validity Games and Absolute Minimality of Modal Axioms.
Proceedings of the Advances in Modal Logic 12, 2018

Here and There Modal Logic with Dual Implication.
Proceedings of the Advances in Modal Logic 12, 2018

2017
Undecidable problems for modal definability.
J. Log. Comput., 2017

KD is nullary.
J. Appl. Non Class. Logics, 2017

Unification in epistemic logics.
J. Appl. Non Class. Logics, 2017

Finitariness of Elementary Unification in Boolean Region Connection Calculus.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Exploring the Bidimensional Space: A Dynamic Logic Point of View.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
Reasoning about negligibility and proximity in the set of all hyperreals.
J. Appl. Log., 2016

Temporal Here and There.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

On Logics of Group Belief in Structured Coalitions.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

A Logical Theory of Belief Dynamics for Resource-Bounded Agents.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Unification in modal logic Alt<sub>1</sub>.
Proceedings of the Advances in Modal Logic 11, 2016

Proceedings of the Advances in Modal Logic 11, 2016

Axiomatizing the lexicographic products of modal logics with linear temporal logic.
Proceedings of the Advances in Modal Logic 11, 2016

Before announcement.
Proceedings of the Advances in Modal Logic 11, 2016

2015
Putting right the wording and the proof of the Truth Lemma for <i>APAL</i>.
J. Appl. Non Class. Logics, 2015

Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition.
Proceedings of the Automated Deduction - CADE-25, 2015

2014
Definability and Canonicity for Boolean Logic with a Binary Relation.
Fundam. Informaticae, 2014

DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE.
CoRR, 2014

A simple proof of the completeness of APAL.
CoRR, 2014

Definability and Computability for PRSPDL.
Proceedings of the Advances in Modal Logic 10, 2014

2013
Agents that look at one another.
Log. J. IGPL, 2013

Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL.
Proceedings of the Logic, Language, Information, and Computation, 2013

Admissibility and Unifiability in Contact Logics.
Proceedings of the Logic, Language, and Computation, 2013

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Subset Space Logic with Arbitrary Announcements.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders.
Proceedings of the Frontiers of Combining Systems, 2013

2012
Deciding the word problem in pure double Boolean algebras.
J. Appl. Log., 2012

Modal logics for reasoning about infinite unions and intersections of binary relations.
J. Appl. Non Class. Logics, 2012

Deciding the Bisimilarity Relation between Datalog Goals.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders.
Proceedings of the Advances in Modal Logic 9, 2012

Sahlqvist Theorems for Precontact Logics.
Proceedings of the Advances in Modal Logic 9, 2012

Some Truths Are Best Left Unsaid.
Proceedings of the Advances in Modal Logic 9, 2012

2011
J. Philos. Log., 2011

Axiomatization and completeness of lexicographic products of modal logics.
J. Appl. Non Class. Logics, 2011

Two-sorted Point-Interval Temporal Logics.
Electron. Notes Theor. Comput. Sci., 2011

The Word Problem in Semiconcept Algebras.
Proceedings of The Eighth International Conference on Concept Lattices and Their Applications, 2011

Agents that speak: modelling communicative plans and information sources in a logic of announcements.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
Tableaux for Public Announcement Logic.
J. Log. Comput., 2010

Boolean logics with relations.
J. Log. Algebraic Methods Program., 2010

Group announcement logic.
J. Appl. Log., 2010

Controller/Orchestrator Synthesis via Filtration.
Electron. Notes Theor. Comput. Sci., 2010

Composition of Services with Constraints.
Electron. Notes Theor. Comput. Sci., 2010

A Modal Logic for Termgraph Rewriting
CoRR, 2010

Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints.
Proceedings of the TIME 2010, 2010

Coherence Test on Graphs Constraints between Hyperintervals.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

A Dynamic Logic for Termgraph Rewriting.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Tools and Techniques in Qualitative Reasoning about Space.
Proceedings of the Foundations of Information and Knowledge Systems, 2010

An intruder model for trust negotiation.
Proceedings of the CRiSIS 2010, 2010

2009
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition.
Electron. Notes Theor. Comput. Sci., 2009

Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations.
Electron. Notes Theor. Comput. Sci., 2009

Global and Local Graph Modifiers.
Electron. Notes Theor. Comput. Sci., 2009

A Policy Language for Modelling Recommendations.
Proceedings of the Emerging Challenges for Security, 2009

A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment.
Proceedings of the CRiSIS 2009, 2009

2008
'Knowable' as 'known after an announcement'.
Rev. Symb. Log., 2008

Alternative Axiomatics and Complexity of Deliberative STIT Theories.
J. Philos. Log., 2008

Hyper arrow logic with indiscernibility and complementarity.
J. Appl. Non Class. Logics, 2008

Logical approaches to deontic reasoning: From basic questions to dynamic solutions.
Int. J. Intell. Syst., 2008

A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n.
Fundam. Informaticae, 2008

Composition of Interactive Web Services Based on Controller Synthesis.
Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

A Logical Approach to Dynamic Role-Based Access Control.
Proceedings of the Artificial Intelligence: Methodology, 2008

2007
Logical Theories for Fragments of Elementary Geometry.
Proceedings of the Handbook of Spatial Logics, 2007

Line-based affine reasoning in Euclidean plane.
J. Appl. Log., 2007

Dynamic logics of the region-based theory of discrete spaces.
J. Appl. Non Class. Logics, 2007

Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems.
Fundam. Informaticae, 2007

Modal Logics for Region-based Theories of Space.
Fundam. Informaticae, 2007

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Tableau Method for Public Announcement Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

2006
Definability Over the Class of all Partitions.
J. Log. Comput., 2006

On the consistency problem for the <i>INDU</i> calculus.
J. Appl. Log., 2006

Every world can see a Sahlqvist world.
Proceedings of the Advances in Modal Logic 6, 2006

An expressive two-sorted spatial logic for plane projective geometry.
Proceedings of the Advances in Modal Logic 6, 2006

Access control with prohibitions and obligations.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005
Access Control with Uncertain Surveillance.
Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005

Safety Problems in Access Control with Temporal Constraints.
Proceedings of the Computer Network Security, 2005

A formal examination of roles and permissions in access control.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

A Uniform Approach to Modelling Timed Protection.
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005

2004
Dynamic extensions of arrow logic.
Ann. Pure Appl. Log., 2004

Solving Constraints Between Lines in Euclidean Geometry.
Proceedings of the Artificial Intelligence: Methodology, 2004

2003
Foreword.
J. Appl. Non Class. Logics, 2003

PDL with Intersection of Programs: A Complete Axiomatization.
J. Appl. Non Class. Logics, 2003

Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection.
Fundam. Informaticae, 2003

On the Consistency Problem for the INDU Calculus.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Reasoning about Cyclic Space: Axiomatic and Computational Aspects.
Proceedings of the Spatial Cognition III, Routes and Navigation, Human Memory and Learning, 2003

Organization based access contro.
Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

2002
Tractability Results in the Block Algebra.
J. Log. Comput., 2002

Modal Logics for Parallelism, Orthogonality, and Affine Geometries.
J. Appl. Non Class. Logics, 2002

Foreword.
J. Appl. Non Class. Logics, 2002

A Modal Logic for Indiscernibility and Complementarity in Information Systems.
Fundam. Informaticae, 2002

Spatial Reasoning About Points in a Multidimensional Setting.
Appl. Intell., 2002

Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Editorial Preface.
Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001
A new proof of completeness for a relative modal logic with composition and intersection.
J. Appl. Non Class. Logics, 2001

Iteration-free PDL with Intersection: a Complete Axiomatization.
Fundam. Informaticae, 2001

First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

Emptiness Relations in Property Systems.
Proceedings of the Relational Methods in Computer Science, 2001

2000
Reasoning about Generalized Intervals: Horn Representability and Tractability.
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

A Model for Reasoning about Topologic Relations between cyclic intervals.
Proceedings of the KR 2000, 2000

1999
A hierarchy of modal logics with relative accessibility relations.
J. Appl. Non Class. Logics, 1999

Inequality without irreflexivity.
J. Appl. Non Class. Logics, 1999

A New Tractable Subclass of the Rectangle Algebra.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations.
Proceedings of the Progress in Artificial Intelligence, 1999

1998
Complete axiomatization of a relative modal logic with composition and intersection.
J. Appl. Non Class. Logics, 1998

The modal multilogic of geometry.
J. Appl. Non Class. Logics, 1998

A Model for Reasoning about Bidemsional Temporal Relations.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

A Modal Logic for Reasoning about Beliefs, Desires and Intentions of Complex Agents in a Distributed Environment.
Proceedings of the Third International Conference on Multiagent Systems, 1998

Proceedings of the Artificial Intelligence: Methodology, 1998

Extending arrow logic.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
Modal Logics for Incidence Geometries.
J. Log. Comput., 1997

Prefixed Tableaux Systems for Modal Logics with Enriched Languages.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996
A Modal Logic for Data Analysis.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Geometrical Structures and Modal Logic.
Proceedings of the Practical Reasoning, 1996

Modal Logics with Relative Accessibility Relations.
Proceedings of the Practical Reasoning, 1996

Terminological Modal Logic.
Proceedings of the Advances in Modal Logic 1, 1996

1994
A translation from the modal logic of provability into K4.
J. Appl. Non Class. Logics, 1994

Equation Solving in Geometrical Theories.
Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

Equation Solving in Projective Planes and Planar Ternary Rings.
Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993
Affine Geometry of Collinearity and Conditional Term Rewriting.
Proceedings of the Term Rewriting, 1993

1992
A modal semantics of negation in logic programming.
Fundam. Informaticae, 1992

Sur la finitude des dérivations de la programmation en logique.
Proceedings of the JFPL'92, 1992

The Finiteness of Logic Programming Derivations.
Proceedings of the Algebraic and Logic Programming, 1992

1991
Modal Logic and Negation as Failure.
J. Log. Comput., 1991

A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules.
Proceedings of the STACS 91, 1991

TIM: The Toulouse Inference Machine for Non-Classical Logic Programming.
Proceedings of the Processing Declarative Knowledge, 1991

1990
Non-monotonic Reasoning and Modal Logic, from Negation as Failure to Default Logic.
Proceedings of the Uncertainty in Knowledge Bases, 1990

1988
Declarative Semantics for Modal Logic Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988