Philippe Balbiani

197 papers A* 7A 6B 30C 11Misc 5Journal 92Unranked 45

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Intuitionistic modal logics: tips and clips. Log. J. IGPL Philippe Balbiani, Çigdem Gencer
2025	J	`jnl`	Axiomatisation for an asynchronous epistemic logic with sending and receiving messages. CoRR Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
2025	J	`jnl`	Complexity of some modal logics of density (extended version). CoRR Philippe Balbiani, Olivier Gasquet
2025	J	`jnl`	Intuitionistic modal logic LIK4 is decidable. CoRR Philippe Balbiani, Çigdem Gencer, Tinko Tinchev
2025	J	`jnl`	Intuitionistic modal logics: a minimal setting. CoRR Philippe Balbiani, Çigdem Gencer
2025	J	`jnl`	Intuitionistic modal logics: epistemic reasoning with distributed knowledge. CoRR Philippe Balbiani
2025	J	`jnl`	Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK. CoRR Philippe Balbiani, Çigdem Gencer
2025	J	`jnl`	Modal definability in Euclidean modal logics. CoRR Philippe Balbiani, Tinko Tinchev
2025	J	`jnl`	PSPACE-completeness of bimodal transitive weak-density logic. CoRR Philippe Balbiani, Olivier Gasquet
2025	J	`jnl`	Projective relative unification through duality. J. Log. Comput. Philippe Balbiani, Quentin Gougeon
2025	J	`jnl`	Undecidability of admissibility in the product of two Alt logics. Log. J. IGPL Philippe Balbiani, Çigdem Gencer
2024	B	`conf`	A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. CSL Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2024	J	`jnl`	Constructive S4 modal logics with the finite birelational frame property. CoRR Philippe Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean
2024	—	`conf`	Local Intuitionistic Modal Logics and Their Calculi. IJCAR (2) Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2024	J	`jnl`	Local Intuitionistic Modal Logics and Their Calculi. CoRR Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2024	B	`conf`	Towards Dynamic Distributed Knowledge. AiML Philippe Balbiani, Hans van Ditmarsch
2023	J	`jnl`	A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus. CoRR Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2023	J	`jnl`	Remarks about the unification types of some locally tabular normal modal logics. Log. J. IGPL Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2023	B	`conf`	Simple Axioms for Local Properties. TARK Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer
2023	J	`jnl`	Unification types in Euclidean modal logics. Log. J. IGPL Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi
2022	J	`jnl`	About the unification type of $\mathbf {K}+\square \square \bot $. Ann. Math. Artif. Intell. Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2022	—	`conf`	Advanced Languages of Terms for Ontologies. Description Logics Philippe Balbiani, Martín Diéguez, Çigdem Gencer
2022	—	`conf`	Advanced languages of terms for ontologies. JIAF Philippe Balbiani, Çigdem Gencer
2022	J	`jnl`	Asynchronous Announcements. ACM Trans. Comput. Log. Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
2022	J	`jnl`	Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. Log. J. IGPL Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
2022	—	`conf`	Parametrized Modal Logic II: The Unidimensional Case. DaLí Philippe Balbiani
2022	B	`conf`	Parametrized modal logic I: An introduction. AiML Philippe Balbiani, Saúl Fernández González
2022	B	`conf`	Projective unification through duality. AiML Philippe Balbiani, Quentin Gougeon
2022	J	`jnl`	Unification with parameters in the implication fragment of classical propositional logic. Log. J. IGPL Philippe Balbiani, Mojtaba Mojtahedi
2021	J	`jnl`	About the Unification Type of Fusions of Modal Logic. FLAP Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv
2021	J	`jnl`	Bisimulations for Intuitionistic Temporal Logics. FLAP Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2021	C	`conf`	Orthogonal Frames and Indexed Relations. WoLLIC Philippe Balbiani, Saúl Fernández González
2021	J	`jnl`	Relational Representation Theorems for Extended Contact Algebras. Stud Logica Philippe Balbiani, Tatyana Ivanova
2021	A*	`conf`	Some constructive variants of S4 with the finite model property. LICS Philippe Balbiani, Martín Diéguez, David Fernández-Duque
2021	J	`jnl`	Some constructive variants of S4 with the finite model property. CoRR Philippe Balbiani, Martín Diéguez, David Fernández-Duque
2020	J	`jnl`	About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$. Stud Logica Philippe Balbiani, Çigdem Gencer
2020	—	`conf`	About the unification type of K+☐☐⊥. UNIF Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2020	J	`jnl`	About the unification types of the modal logics determined by classes of deterministic frames. CoRR Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2020	A	`conf`	From Public Announcements to Asynchronous Announcements. ECAI Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
2020	B	`conf`	Indexed Frames and Hybrid Logics. AiML Philippe Balbiani, Saúl Fernández González
2020	J	`jnl`	Introduction to the special issue: Unification. Math. Struct. Comput. Sci. Mauricio Ayala-Rincón, Philippe Balbiani
2020	J	`jnl`	Intuitionistic Linear Temporal Logics. ACM Trans. Comput. Log. Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2020	B	`conf`	Quantifying over Asynchronous Information Change. AiML Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
2019	J	`jnl`	About the unification type of simple symmetric modal logics. CoRR Philippe Balbiani, Çigdem Gencer
2019	J	`jnl`	Axiomatization and computability of a variant of iteration-free PDL with fork. J. Log. Algebraic Methods Program. Philippe Balbiani, Joseph Boudou
2019	—	`conf`	Decidable and Undecidable Problems for First-Order Definability and Modal Definability. TbiLLC Philippe Balbiani, Tinko Tinchev
2019	J	`jnl`	Intuitionistic Linear Temporal Logics. CoRR Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2019	J	`jnl`	Remarks about the unification type of several non-symmetric non-transitive modal logics. Log. J. IGPL Philippe Balbiani
2019	J	`jnl`	Representation theorems for extended contact algebras based on equivalence relations. CoRR Philippe Balbiani, Tatyana Ivanova
2019	J	`jnl`	Setting the Basis for Here and There Modal Logics. FLAP Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro
2019	A*	`conf`	Stratified Evidence Logics. IJCAI Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini
2019	J	`jnl`	The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. Stud Logica Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
2019	J	`jnl`	Two decision problems in Contact Logics. Log. J. IGPL Philippe Balbiani, Çigdem Gencer, Zafer Özdemir
2019	—	`conf`	Unification in Modal Logic. ICLA Philippe Balbiani
2018	J	`jnl`	Bisimulations for intuitionistic temporal logics. CoRR Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2018	J	`jnl`	Elementary Unification in Modal Logic KD45. FLAP Philippe Balbiani, Tinko Tinchev
2018	B	`conf`	Frame-Validity Games and Absolute Minimality of Modal Axioms. Advances in Modal Logic Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
2018	J	`jnl`	Frame-validity games and lower bounds on the complexity of modal axioms. CoRR Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
2018	B	`conf`	Here and There Modal Logic with Dual Implication. Advances in Modal Logic Philippe Balbiani, Martín Diéguez
2018	J	`jnl`	Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. J. Log. Comput. Philippe Balbiani, Joseph Boudou
2018	J	`jnl`	Modal correspondence theory in the class of all Euclidean frames. J. Log. Comput. Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev
2017	—	`conf`	Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. DALI@TABLEAUX Philippe Balbiani, Joseph Boudou
2017	A	`conf`	Exploring the Bidimensional Space: A Dynamic Logic Point of View. AAMAS Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
2017	J	`jnl`	Exploring the bidimensional space: A dynamic logic point of view. CoRR Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
2017	—	`conf`	Finitariness of Elementary Unification in Boolean Region Connection Calculus. FroCoS Philippe Balbiani, Çigdem Gencer
2017	J	`jnl`	KD is nullary. J. Appl. Non Class. Logics Philippe Balbiani, Çigdem Gencer
2017	J	`jnl`	Undecidable problems for modal definability. J. Log. Comput. Philippe Balbiani, Tinko Tinchev
2017	J	`jnl`	Unification in epistemic logics. J. Appl. Non Class. Logics Philippe Balbiani, Çigdem Gencer
2016	A	`conf`	A Logical Theory of Belief Dynamics for Resource-Bounded Agents. AAMAS Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
2016	B	`conf`	About intuitionistic public announcement logic. Advances in Modal Logic Philippe Balbiani, Didier Galmiche
2016	B	`conf`	Axiomatizing the lexicographic products of modal logics with linear temporal logic. Advances in Modal Logic Philippe Balbiani, David Fernández-Duque
2016	B	`conf`	Before announcement. Advances in Modal Logic Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig
2016	B	`conf`	On Logics of Group Belief in Structured Coalitions. JELIA Philippe Balbiani, David Pearce, Levan Uridia
2016	J	`jnl`	Reasoning about negligibility and proximity in the set of all hyperreals. J. Appl. Log. Philippe Balbiani
2016	—	`conf`	Solving equations in pure double Boolean algebras. UNIF Philippe Balbiani
2016	B	`conf`	Temporal Here and There. JELIA Philippe Balbiani, Martín Diéguez
2016	B	`conf`	Unification in modal logic Alt Advances in Modal Logic Philippe Balbiani, Tinko Tinchev
2015	J	`jnl`	Putting right the wording and the proof of the Truth Lemma for J. Appl. Non Class. Logics Philippe Balbiani
2015	A	`conf`	Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. CADE Philippe Balbiani, Joseph Boudou
2014	J	`jnl`	A simple proof of the completeness of APAL. CoRR Philippe Balbiani, Hans van Ditmarsch
2014	J	`jnl`	DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
2014	J	`jnl`	Definability and Canonicity for Boolean Logic with a Binary Relation. Fundam. Informaticae Philippe Balbiani, Tinko Tinchev
2014	B	`conf`	Definability and Computability for PRSPDL. Advances in Modal Logic Philippe Balbiani, Tinko Tinchev
2014	—	`conf`	Unification in the normal modal logic Alt1. UNIF Philippe Balbiani, Tinko Tinchev
2013	—	`conf`	Admissibility and Unifiability in Contact Logics. TbiLLC Philippe Balbiani, Çigdem Gencer
2013	J	`jnl`	Agents that look at one another. Log. J. IGPL Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
2013	—	`conf`	Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders. FroCos Philippe Balbiani, Szabolcs Mikulás
2013	A*	`conf`	Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. LICS Philippe Balbiani, Andreas Herzig, Nicolas Troquard
2013	C	`conf`	Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL. WoLLIC Philippe Balbiani, Emiliano Lorini
2013	—	`conf`	Subset Space Logic with Arbitrary Announcements. ICLA Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov
2012	B	`conf`	Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders. Advances in Modal Logic Philippe Balbiani, Levan Uridia
2012	B	`conf`	Deciding the Bisimilarity Relation between Datalog Goals. JELIA Philippe Balbiani, Antoun Yaacoub
2012	J	`jnl`	Deciding the word problem in pure double Boolean algebras. J. Appl. Log. Philippe Balbiani
2012	J	`jnl`	Modal logics for reasoning about infinite unions and intersections of binary relations. J. Appl. Non Class. Logics Natasha Alechina, Philippe Balbiani, Dmitry Shkatov
2012	B	`conf`	Sahlqvist Theorems for Precontact Logics. Advances in Modal Logic Philippe Balbiani, Stanislav Kikot
2012	B	`conf`	Some Truths Are Best Left Unsaid. Advances in Modal Logic Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2011	A	`conf`	Agents that speak: modelling communicative plans and information sources in a logic of announcements. AAMAS Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini
2011	J	`jnl`	Axiomatization and completeness of lexicographic products of modal logics. J. Appl. Non Class. Logics Philippe Balbiani
2011	J	`jnl`	Reasoning About Permitted Announcements. J. Philos. Log. Philippe Balbiani, Pablo Seban
2011	—	`conf`	The Word Problem in Semiconcept Algebras. CLA Philippe Balbiani
2011	—	`conf`	Two-sorted Point-Interval Temporal Logics. M4M/LAMAS Philippe Balbiani, Valentin Goranko, Guido Sciavicco
2010	B	`conf`	A Dynamic Logic for Termgraph Rewriting. ICGT Philippe Balbiani, Rachid Echahed, Andreas Herzig
2010	J	`jnl`	A Modal Logic for Termgraph Rewriting CoRR Philippe Balbiani, Rachid Echahed, Andreas Herzig
2010	C	`conf`	An intruder model for trust negotiation. CRiSIS Philippe Balbiani, Yannick Chevalier, Marwa El Houri
2010	C	`conf`	Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints. TIME Philippe Balbiani
2010	J	`jnl`	Boolean logics with relations. J. Log. Algebraic Methods Program. Philippe Balbiani, Tinko Tinchev
2010	—	`conf`	Coherence Test on Graphs Constraints between Hyperintervals. ICTAI (1) Philippe Balbiani
2010	J	`jnl`	Foreword. J. Appl. Non Class. Logics Philippe Balbiani
2010	J	`jnl`	Foreword. J. Appl. Non Class. Logics Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
2010	J	`jnl`	Group announcement logic. J. Appl. Log. Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban
2010	J	`jnl`	Tableaux for Public Announcement Logic. J. Log. Comput. Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2010	—	`conf`	Tools and Techniques in Qualitative Reasoning about Space. FoIKS Philippe Balbiani
2009	Misc	`conf`	A Policy Language for Modelling Recommendations. SEC Anas Abou El Kalam, Philippe Balbiani
2009	C	`conf`	A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. CRiSIS Philippe Balbiani, Yannick Chevalier, Marwa El Houri
2009	—	`conf`	Axiomatization and Completeness of Lexicographic Products of Modal Logics. FroCoS Philippe Balbiani
2009	—	`conf`	Composition of Services with Constraints. FACS@FMWeek Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
2009	—	`conf`	Controller/Orchestrator Synthesis via Filtration. M4M Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade
2008	J	`jnl`	'Knowable' as 'known after an announcement'. Rev. Symb. Log. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
2008	Misc	`conf`	A Logical Approach to Dynamic Role-Based Access Control. AIMSA Philippe Balbiani, Yannick Chevalier, Marwa El Houri
2008	J	`jnl`	A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n. Fundam. Informaticae Philippe Balbiani, Petar Iliev, Dimiter Vakarelov
2008	—	`conf`	Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. ICE@ICALP Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade
2008	J	`jnl`	Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philos. Log. Philippe Balbiani, Andreas Herzig, Nicolas Troquard
2008	—	`conf`	Boolean Logics with Relations. RelMiCS Philippe Balbiani, Tinko Tinchev
2008	—	`conf`	Composition of Interactive Web Services Based on Controller Synthesis. SERVICES I Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade
2008	J	`jnl`	Hyper arrow logic with indiscernibility and complementarity. J. Appl. Non Class. Logics Philippe Balbiani
2008	J	`jnl`	Logical approaches to deontic reasoning: From basic questions to dynamic solutions. Int. J. Intell. Syst. Philippe Balbiani
2008	A*	`conf`	Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. KR Philippe Balbiani
2007	B	`conf`	A Tableau Method for Public Announcement Logics. TABLEAUX Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2007	J	`jnl`	Alternative axiomatics and complexity of deliberative STIT theories CoRR Philippe Balbiani, Andreas Herzig, Nicolas Troquard
2007	J	`jnl`	Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems. Fundam. Informaticae Philippe Balbiani, Dimiter Vakarelov
2007	—	`conf`	Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. M4M Philippe Balbiani, Jan M. Broersen, Julien Brunel
2007	J	`jnl`	Dynamic logics of the region-based theory of discrete spaces. J. Appl. Non Class. Logics Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
2007	—	`conf`	Global and Local Graph Modifiers. M4M Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
2007	J	`jnl`	Line-based affine reasoning in Euclidean plane. J. Appl. Log. Philippe Balbiani, Tinko Tinchev
2007	—	`ch.`	Logical Theories for Fragments of Elementary Geometry. Handbook of Spatial Logics Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov
2007	J	`jnl`	Modal Logics for Region-based Theories of Space. Fundam. Informaticae Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
2007	B	`conf`	What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
2006	C	`conf`	Access control with prohibitions and obligations. AICCSA Philippe Balbiani, Fatima Harb, Ali Kaafarani
2006	B	`conf`	An expressive two-sorted spatial logic for plane projective geometry. Advances in Modal Logic Philippe Balbiani
2006	J	`jnl`	Definability Over the Class of all Partitions. J. Log. Comput. Philippe Balbiani, Tinko Tinchev
2006	B	`conf`	Every world can see a Sahlqvist world. Advances in Modal Logic Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman
2006	J	`jnl`	On the consistency problem for the J. Appl. Log. Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
2005	—	`conf`	A Uniform Approach to Modelling Timed Protection. Artificial Intelligence and Applications Philippe Balbiani
2005	C	`conf`	A formal examination of roles and permissions in access control. AICCSA Philippe Balbiani
2005	—	`conf`	Access Control with Uncertain Surveillance. Web Intelligence Philippe Balbiani
2005	—	`conf`	Safety Problems in Access Control with Temporal Constraints. MMM-ACNS Philippe Balbiani, Fahima Cheikh
2004	J	`jnl`	Dynamic extensions of arrow logic. Ann. Pure Appl. Log. Philippe Balbiani, Dimiter Vakarelov
2004	B	`conf`	Line-Based Affine Reasoning in Euclidean Plane. JELIA Philippe Balbiani, Tinko Tinchev
2004	Misc	`conf`	Solving Constraints Between Lines in Euclidean Geometry. AIMSA Philippe Balbiani, Khalil Challita
2003	B	`ed.`	Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September - 2 October 2002 Advances in Modal Logic Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2003	J	`jnl`	Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection. Fundam. Informaticae Philippe Balbiani
2003	J	`jnl`	Foreword. J. Appl. Non Class. Logics Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig
2003	C	`conf`	On the Consistency Problem for the INDU Calculus. TIME Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
2003	—	`conf`	Organization based access contro. POLICY Anas Abou El Kalam, Salem Benferhat, Alexandre Miège, Rania El Baida, Frédéric Cuppens, Claire Saurel, Philippe Balbiani, Yves Deswarte, Gilles Trouessin
2003	J	`jnl`	PDL with Intersection of Programs: A Complete Axiomatization. J. Appl. Non Class. Logics Philippe Balbiani, Dimiter Vakarelov
2003	—	`conf`	Reasoning about Cyclic Space: Axiomatic and Computational Aspects. Spatial Cognition Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
2002	J	`jnl`	A Modal Logic for Indiscernibility and Complementarity in Information Systems. Fundam. Informaticae Philippe Balbiani, Dimiter Vakarelov
2002	—	`conf`	Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. FroCoS Philippe Balbiani, Jean-François Condotta
2002	B	`conf`	Editorial Preface. Advances in Modal Logic Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	Foreword. J. Appl. Non Class. Logics Philippe Balbiani
2002	J	`jnl`	Modal Logics for Parallelism, Orthogonality, and Affine Geometries. J. Appl. Non Class. Logics Philippe Balbiani, Valentin Goranko
2002	J	`jnl`	Spatial Reasoning About Points in a Multidimensional Setting. Appl. Intell. Philippe Balbiani, Jean-François Condotta
2002	J	`jnl`	Tractability Results in the Block Algebra. J. Log. Comput. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
2001	J	`jnl`	A new proof of completeness for a relative modal logic with composition and intersection. J. Appl. Non Class. Logics Philippe Balbiani
2001	—	`conf`	Emptiness Relations in Property Systems. RelMiCS Philippe Balbiani
2001	C	`conf`	First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. ECSQARU Philippe Balbiani, Dimiter Vakarelov
2001	J	`jnl`	Iteration-free PDL with Intersection: a Complete Axiomatization. Fundam. Informaticae Philippe Balbiani, Dimiter Vakarelov
2000	A*	`conf`	A Model for Reasoning about Topologic Relations between cyclic intervals. KR Philippe Balbiani, Aomar Osmani
2000	C	`conf`	Reasoning about Generalized Intervals: Horn Representability and Tractability. TIME Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
1999	A*	`conf`	A New Tractable Subclass of the Rectangle Algebra. IJCAI Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
1999	Misc	`conf`	A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. EPIA Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
1999	J	`jnl`	A hierarchy of modal logics with relative accessibility relations. J. Appl. Non Class. Logics Philippe Balbiani, Ewa Orlowska
1999	J	`jnl`	Inequality without irreflexivity. J. Appl. Non Class. Logics Philippe Balbiani
1998	—	`conf`	A Modal Logic for Reasoning about Beliefs, Desires and Intentions of Complex Agents in a Distributed Environment. ICMAS Philippe Balbiani, Amal El Fallah Seghrouchni
1998	A*	`conf`	A Model for Reasoning about Bidemsional Temporal Relations. KR Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
1998	J	`jnl`	Complete axiomatization of a relative modal logic with composition and intersection. J. Appl. Non Class. Logics Philippe Balbiani, Luis Fariñas del Cerro
1998	—	`conf`	Extending arrow logic. RelMiCS Philippe Balbiani, Dimiter Vakarelov
1998	Misc	`conf`	Reasoning about Generalized Intervals. AIMSA Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani
1998	J	`jnl`	The modal multilogic of geometry. J. Appl. Non Class. Logics Philippe Balbiani
1997	J	`jnl`	Modal Logics for Incidence Geometries. J. Log. Comput. Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
1997	—	`conf`	Prefixed Tableaux Systems for Modal Logics with Enriched Languages. IJCAI (1) Philippe Balbiani, Stéphane Demri
1996	B	`conf`	A Modal Logic for Data Analysis. MFCS Philippe Balbiani
1996	—	`conf`	Geometrical Structures and Modal Logic. FAPR Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
1996	—	`conf`	Modal Logics with Relative Accessibility Relations. FAPR Philippe Balbiani
1996	B	`conf`	Terminological Modal Logic. Advances in Modal Logic Philippe Balbiani
1994	J	`jnl`	A translation from the modal logic of provability into K4. J. Appl. Non Class. Logics Philippe Balbiani, Andreas Herzig
1994	—	`conf`	Equation Solving in Geometrical Theories. CTRS Philippe Balbiani
1994	—	`conf`	Equation Solving in Projective Planes and Planar Ternary Rings. ALP Philippe Balbiani
1993	—	`conf`	Affine Geometry of Collinearity and Conditional Term Rewriting. Term Rewriting Philippe Balbiani, Luis Fariñas del Cerro
1992	J	`jnl`	A modal semantics of negation in logic programming. Fundam. Informaticae Philippe Balbiani
1992	—	`conf`	Sur la finitude des dérivations de la programmation en logique. JFPL Philippe Balbiani
1992	—	`conf`	The Finiteness of Logic Programming Derivations. ALP Philippe Balbiani
1991	A	`conf`	A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules. STACS Philippe Balbiani
1991	J	`jnl`	Modal Logic and Negation as Failure. J. Log. Comput. Philippe Balbiani
1991	—	`conf`	TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. PDK Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques
1990	C	`conf`	Non-monotonic Reasoning and Modal Logic, from Negation as Failure to Default Logic. IPMU Philippe Balbiani
1988	—	`conf`	Declarative Semantics for Modal Logic Programs. FGCS Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig