Declarative Semantics for Modal Logic Programs. - Philippe Balbiani; Luis Fariñas del Cerro; Andreas Herzig (FGCS, 1988)

Non-monotonic Reasoning and Modal Logic, from Negation as Failure to Default Logic. - Philippe Balbiani (IPMU, 1990)

TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. - Philippe Balbiani; Andreas Herzig; Mamede Lima-Marques (PDK, 1991)

A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules. - Philippe Balbiani (STACS, 1991)

Modal Logic and Negation as Failure. - Philippe Balbiani (J. Log. Comput., 1991)

The Finiteness of Logic Programming Derivations. - Philippe Balbiani (ALP, 1992)

Sur la finitude des dérivations de la programmation en logique. - Philippe Balbiani (JFPL, 1992)

A modal semantics of negation in logic programming. - Philippe Balbiani (Fundam. Informaticae, 1992)

Affine Geometry of Collinearity and Conditional Term Rewriting. - Philippe Balbiani; Luis Fariñas del Cerro (Term Rewriting, 1993)

Equation Solving in Projective Planes and Planar Ternary Rings. - Philippe Balbiani (ALP, 1994)

Equation Solving in Geometrical Theories. - Philippe Balbiani (CTRS, 1994)

A translation from the modal logic of provability into K4. - Philippe Balbiani; Andreas Herzig (J. Appl. Non Class. Logics, 1994)

Terminological Modal Logic. - Philippe Balbiani (Advances in Modal Logic, 1996)

Modal Logics with Relative Accessibility Relations. - Philippe Balbiani (FAPR, 1996)

Geometrical Structures and Modal Logic. - Philippe Balbiani; Luis Fariñas del Cerro; Tinko Tinchev; Dimiter Vakarelov (FAPR, 1996)

A Modal Logic for Data Analysis. - Philippe Balbiani (MFCS, 1996)

Prefixed Tableaux Systems for Modal Logics with Enriched Languages. - Philippe Balbiani; Stéphane Demri (IJCAI (1), 1997)

Modal Logics for Incidence Geometries. - Philippe Balbiani; Luis Fariñas del Cerro; Tinko Tinchev; Dimiter Vakarelov (J. Log. Comput., 1997)

Extending arrow logic. - Philippe Balbiani; Dimiter Vakarelov (RelMiCS, 1998)

Reasoning about Generalized Intervals. - Philippe Balbiani; Jean-François Condotta; Luis Fariñas del Cerro; Aomar Osmani (AIMSA, 1998)

A Modal Logic for Reasoning about Beliefs, Desires and Intentions of Complex Agents in a Distributed Environment. - Philippe Balbiani; Amal El Fallah Seghrouchni (ICMAS, 1998)

A Model for Reasoning about Bidemsional Temporal Relations. - Philippe Balbiani; Jean-François Condotta; Luis Fariñas del Cerro (KR, 1998)

The modal multilogic of geometry. - Philippe Balbiani (J. Appl. Non Class. Logics, 1998)

Complete axiomatization of a relative modal logic with composition and intersection. - Philippe Balbiani; Luis Fariñas del Cerro (J. Appl. Non Class. Logics, 1998)

A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. - Philippe Balbiani; Jean-François Condotta; Luis Fariñas del Cerro (EPIA, 1999)

A New Tractable Subclass of the Rectangle Algebra. - Philippe Balbiani; Jean-François Condotta; Luis Fariñas del Cerro (IJCAI, 1999)

Inequality without irreflexivity. - Philippe Balbiani (J. Appl. Non Class. Logics, 1999)

A hierarchy of modal logics with relative accessibility relations. - Philippe Balbiani; Ewa Orlowska (J. Appl. Non Class. Logics, 1999)

A Model for Reasoning about Topologic Relations between cyclic intervals. - Philippe Balbiani; Aomar Osmani (KR, 2000)

Reasoning about Generalized Intervals: Horn Representability and Tractability. - Philippe Balbiani; Jean-François Condotta; Gérard Ligozat (TIME, 2000)

Emptiness Relations in Property Systems. - Philippe Balbiani (RelMiCS, 2001)

First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. - Philippe Balbiani; Dimiter Vakarelov (ECSQARU, 2001)

Iteration-free PDL with Intersection: a Complete Axiomatization. - Philippe Balbiani; Dimiter Vakarelov (Fundam. Informaticae, 2001)

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

Editorial Preface. - Philippe Balbiani; Nobu-Yuki Suzuki; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2002)

Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. - Philippe Balbiani; Jean-François Condotta (FroCoS, 2002)

Spatial Reasoning About Points in a Multidimensional Setting. - Philippe Balbiani; Jean-François Condotta (Appl. Intell., 2002)

A Modal Logic for Indiscernibility and Complementarity in Information Systems. - Philippe Balbiani; Dimiter Vakarelov (Fundam. Informaticae, 2002)

Modal Logics for Parallelism, Orthogonality, and Affine Geometries. - Philippe Balbiani; Valentin Goranko (J. Appl. Non Class. Logics, 2002)

Tractability Results in the Block Algebra. - Philippe Balbiani; Jean-François Condotta; Luis Fariñas del Cerro (J. Log. Comput., 2002)

Organization based access contro. - Anas Abou El Kalam; Salem Benferhat; Alexandre Miège; Rania El Baida; Frédéric Cuppens; Claire Saurel; Philippe Balbiani; Yves Deswarte; Gilles Trouessin (POLICY, 2003)

Reasoning about Cyclic Space: Axiomatic and Computational Aspects. - Philippe Balbiani; Jean-François Condotta; Gérard Ligozat (Spatial Cognition, 2003)

On the Consistency Problem for the INDU Calculus. - Philippe Balbiani; Jean-François Condotta; Gérard Ligozat (TIME, 2003)

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

PDL with Intersection of Programs: A Complete Axiomatization. - Philippe Balbiani; Dimiter Vakarelov (J. Appl. Non Class. Logics, 2003)

Solving Constraints Between Lines in Euclidean Geometry. - Philippe Balbiani; Khalil Challita (AIMSA, 2004)

Dynamic extensions of arrow logic. - Philippe Balbiani; Dimiter Vakarelov (Ann. Pure Appl. Log., 2004)

A Uniform Approach to Modelling Timed Protection. - Philippe Balbiani (Artificial Intelligence and Applications, 2005)

A formal examination of roles and permissions in access control. - Philippe Balbiani (AICCSA, 2005)

Safety Problems in Access Control with Temporal Constraints. - Philippe Balbiani; Fahima Cheikh (MMM-ACNS, 2005)

Access Control with Uncertain Surveillance. - Philippe Balbiani (Web Intelligence, 2005)

Access control with prohibitions and obligations. - Philippe Balbiani; Fatima Harb; Ali Kaafarani (AICCSA, 2006)

An expressive two-sorted spatial logic for plane projective geometry. - Philippe Balbiani (Advances in Modal Logic, 2006)

Every world can see a Sahlqvist world. - Philippe Balbiani; Ilya Shapirovsky; Valentin B. Shehtman (Advances in Modal Logic, 2006)

On the consistency problem for the INDU calculus. - Philippe Balbiani; Jean-François Condotta; Gérard Ligozat (J. Appl. Log., 2006)

Definability Over the Class of all Partitions. - Philippe Balbiani; Tinko Tinchev (J. Log. Comput., 2006)

A Tableau Method for Public Announcement Logics. - Philippe Balbiani; Hans van Ditmarsch; Andreas Herzig; Tiago de Lima (TABLEAUX, 2007)

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. - Philippe Balbiani; Alexandru Baltag; Hans van Ditmarsch; Andreas Herzig; Tomohiro Hoshi; Tiago de Lima (TARK, 2007)

Global and Local Graph Modifiers. - Guillaume Aucher; Philippe Balbiani; Luis Fariñas del Cerro; Andreas Herzig (M4M, 2007)

Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. - Philippe Balbiani; Jan M. Broersen; Julien Brunel (M4M, 2007)

Modal Logics for Region-based Theories of Space. - Philippe Balbiani; Tinko Tinchev; Dimiter Vakarelov (Fundam. Informaticae, 2007)

Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems. - Philippe Balbiani; Dimiter Vakarelov (Fundam. Informaticae, 2007)

Dynamic logics of the region-based theory of discrete spaces. - Philippe Balbiani; Tinko Tinchev; Dimiter Vakarelov (J. Appl. Non Class. Logics, 2007)

Line-based affine reasoning in Euclidean plane. - Philippe Balbiani; Tinko Tinchev (J. Appl. Log., 2007)

Logical Theories for Fragments of Elementary Geometry. - Philippe Balbiani; Valentin Goranko; Ruaan Kellerman; Dimiter Vakarelov (Handbook of Spatial Logics, 2007)

A Logical Approach to Dynamic Role-Based Access Control. - Philippe Balbiani; Yannick Chevalier; Marwa El Houri (AIMSA, 2008)

Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. - Philippe Balbiani (KR, 2008)

Composition of Interactive Web Services Based on Controller Synthesis. - Philippe Balbiani; Fahima Cheikh; Guillaume Feuillade (SERVICES I, 2008)

Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. - Philippe Balbiani; Fahima Cheikh; Guillaume Feuillade (ICE@ICALP, 2008)

A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n. - Philippe Balbiani; Petar Iliev; Dimiter Vakarelov (Fundam. Informaticae, 2008)

Logical approaches to deontic reasoning: From basic questions to dynamic solutions. - Philippe Balbiani (Int. J. Intell. Syst., 2008)

Hyper arrow logic with indiscernibility and complementarity. - Philippe Balbiani (J. Appl. Non Class. Logics, 2008)

Alternative Axiomatics and Complexity of Deliberative STIT Theories. - Philippe Balbiani; Andreas Herzig; Nicolas Troquard (J. Philos. Log., 2008)

'Knowable' as 'known after an announcement'. - Philippe Balbiani; Alexandru Baltag; Hans van Ditmarsch; Andreas Herzig; Tomohiro Hoshi; Tiago de Lima (Rev. Symb. Log., 2008)

A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. - Philippe Balbiani; Yannick Chevalier; Marwa El Houri (CRiSIS, 2009)

A Policy Language for Modelling Recommendations. - Anas Abou El Kalam; Philippe Balbiani (SEC, 2009)

Composition of Services with Constraints. - Philippe Balbiani; Fahima Cheikh Alili; Pierre-Cyrille Héam; Olga Kouchnarenko (FACS@FMWeek, 2009)

Controller/Orchestrator Synthesis via Filtration. - Philippe Balbiani; Fahima Cheikh; Guillaume Feuillade (M4M, 2009)

An intruder model for trust negotiation. - Philippe Balbiani; Yannick Chevalier; Marwa El Houri (CRiSIS, 2010)

Tools and Techniques in Qualitative Reasoning about Space. - Philippe Balbiani (FoIKS, 2010)

A Dynamic Logic for Termgraph Rewriting. - Philippe Balbiani; Rachid Echahed; Andreas Herzig (ICGT, 2010)

Coherence Test on Graphs Constraints between Hyperintervals. - Philippe Balbiani (ICTAI (1), 2010)

Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints. - Philippe Balbiani (TIME, 2010)

A Modal Logic for Termgraph Rewriting - Philippe Balbiani; Rachid Echahed; Andreas Herzig (CoRR, 2010)

Foreword. - Philippe Balbiani (J. Appl. Non Class. Logics, 2010)

Foreword. - Philippe Balbiani; Luis Fariñas del Cerro; Andreas Herzig (J. Appl. Non Class. Logics, 2010)

Group announcement logic. - Thomas Ågotnes; Philippe Balbiani; Hans van Ditmarsch; Pablo Seban (J. Appl. Log., 2010)

Boolean logics with relations. - Philippe Balbiani; Tinko Tinchev (J. Log. Algebraic Methods Program., 2010)

Tableaux for Public Announcement Logic. - Philippe Balbiani; Hans van Ditmarsch; Andreas Herzig; Tiago de Lima (J. Log. Comput., 2010)

Agents that speak: modelling communicative plans and information sources in a logic of announcements. - Philippe Balbiani; Nadine Guiraud; Andreas Herzig; Emiliano Lorini (AAMAS, 2011)

The Word Problem in Semiconcept Algebras. - Philippe Balbiani (CLA, 2011)

Two-sorted Point-Interval Temporal Logics. - Philippe Balbiani; Valentin Goranko; Guido Sciavicco (M4M/LAMAS, 2011)

Axiomatization and completeness of lexicographic products of modal logics. - Philippe Balbiani (J. Appl. Non Class. Logics, 2011)

Reasoning About Permitted Announcements. - Philippe Balbiani; Pablo Seban (J. Philos. Log., 2011)

Some Truths Are Best Left Unsaid. - Philippe Balbiani; Hans van Ditmarsch; Andreas Herzig; Tiago de Lima (Advances in Modal Logic, 2012)

Sahlqvist Theorems for Precontact Logics. - Philippe Balbiani; Stanislav Kikot (Advances in Modal Logic, 2012)

Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders. - Philippe Balbiani; Levan Uridia (Advances in Modal Logic, 2012)

Deciding the Bisimilarity Relation between Datalog Goals. - Philippe Balbiani; Antoun Yaacoub (JELIA, 2012)

Modal logics for reasoning about infinite unions and intersections of binary relations. - Natasha Alechina; Philippe Balbiani; Dmitry Shkatov (J. Appl. Non Class. Logics, 2012)

Deciding the word problem in pure double Boolean algebras. - Philippe Balbiani (J. Appl. Log., 2012)

Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders. - Philippe Balbiani; Szabolcs Mikulás (FroCos, 2013)

Subset Space Logic with Arbitrary Announcements. - Philippe Balbiani; Hans van Ditmarsch; Andrey Kudinov (ICLA, 2013)

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. - Philippe Balbiani; Andreas Herzig; Nicolas Troquard (LICS, 2013)

Admissibility and Unifiability in Contact Logics. - Philippe Balbiani; Çigdem Gencer (TbiLLC, 2013)

Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL. - Philippe Balbiani; Emiliano Lorini (WoLLIC, 2013)

Agents that look at one another. - Philippe Balbiani; Olivier Gasquet; François Schwarzentruber (Log. J. IGPL, 2013)

Definability and Computability for PRSPDL. - Philippe Balbiani; Tinko Tinchev (Advances in Modal Logic, 2014)

Unification in the normal modal logic Alt1. - Philippe Balbiani; Tinko Tinchev (UNIF, 2014)

A simple proof of the completeness of APAL. - Philippe Balbiani; Hans van Ditmarsch (CoRR, 2014)

DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. - Philippe Balbiani; Andreas Herzig; François Schwarzentruber; Nicolas Troquard (CoRR, 2014)

Definability and Canonicity for Boolean Logic with a Binary Relation. - Philippe Balbiani; Tinko Tinchev (Fundam. Informaticae, 2014)

Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. - Philippe Balbiani; Joseph Boudou (CADE, 2015)

Putting right the wording and the proof of the Truth Lemma for APAL. - Philippe Balbiani (J. Appl. Non Class. Logics, 2015)

Before announcement. - Philippe Balbiani; Hans van Ditmarsch; Andreas Herzig (Advances in Modal Logic, 2016)

Axiomatizing the lexicographic products of modal logics with linear temporal logic. - Philippe Balbiani; David Fernández-Duque (Advances in Modal Logic, 2016)

About intuitionistic public announcement logic. - Philippe Balbiani; Didier Galmiche (Advances in Modal Logic, 2016)

Unification in modal logic Alt1. - Philippe Balbiani; Tinko Tinchev (Advances in Modal Logic, 2016)

A Logical Theory of Belief Dynamics for Resource-Bounded Agents. - Philippe Balbiani; David Fernández-Duque; Emiliano Lorini (AAMAS, 2016)

On Logics of Group Belief in Structured Coalitions. - Philippe Balbiani; David Pearce 001; Levan Uridia (JELIA, 2016)

Temporal Here and There. - Philippe Balbiani; Martín Diéguez (JELIA, 2016)

Solving equations in pure double Boolean algebras. - Philippe Balbiani (UNIF, 2016)

Reasoning about negligibility and proximity in the set of all hyperreals. - Philippe Balbiani (J. Appl. Log., 2016)

Exploring the Bidimensional Space: A Dynamic Logic Point of View. - Philippe Balbiani; David Fernández-Duque; Emiliano Lorini (AAMAS, 2017)

Finitariness of Elementary Unification in Boolean Region Connection Calculus. - Philippe Balbiani; Çigdem Gencer (FroCoS, 2017)

Unification in epistemic logics. - Philippe Balbiani; Çigdem Gencer (J. Appl. Non Class. Logics, 2017)

KD is nullary. - Philippe Balbiani; Çigdem Gencer (J. Appl. Non Class. Logics, 2017)

Undecidable problems for modal definability. - Philippe Balbiani; Tinko Tinchev (J. Log. Comput., 2017)

Here and There Modal Logic with Dual Implication. - Philippe Balbiani; Martín Diéguez (Advances in Modal Logic, 2018)

Frame-Validity Games and Absolute Minimality of Modal Axioms. - Philippe Balbiani; David Fernández-Duque; Andreas Herzig; Petar Iliev (Advances in Modal Logic, 2018)

Elementary Unification in Modal Logic KD45. - Philippe Balbiani; Tinko Tinchev (FLAP, 2018)

Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. - Philippe Balbiani; Joseph Boudou (J. Log. Comput., 2018)

Modal correspondence theory in the class of all Euclidean frames. - Philippe Balbiani; Dimiter Georgiev; Tinko Tinchev (J. Log. Comput., 2018)

Unification in Modal Logic. - Philippe Balbiani (ICLA, 2019)

Stratified Evidence Logics. - Philippe Balbiani; David Fernández-Duque; Andreas Herzig; Emiliano Lorini (IJCAI, 2019)

Decidable and Undecidable Problems for First-Order Definability and Modal Definability. - Philippe Balbiani; Tinko Tinchev (TbiLLC, 2019)

Representation theorems for extended contact algebras based on equivalence relations. - Philippe Balbiani; Tatyana Ivanova (CoRR, 2019)

About the unification type of simple symmetric modal logics. - Philippe Balbiani; Çigdem Gencer (CoRR, 2019)

Setting the Basis for Here and There Modal Logics. - Philippe Balbiani; Martín Diéguez; Luis Fariñas del Cerro (FLAP, 2019)

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

Two decision problems in Contact Logics. - Philippe Balbiani; Çigdem Gencer; Zafer Özdemir (Log. J. IGPL, 2019)

Axiomatization and computability of a variant of iteration-free PDL with fork. - Philippe Balbiani; Joseph Boudou (J. Log. Algebraic Methods Program., 2019)

The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. - Philippe Balbiani; David Fernández-Duque; Emiliano Lorini (Stud Logica, 2019)

Quantifying over Asynchronous Information Change. - Philippe Balbiani; Hans van Ditmarsch; Saúl Fernández González (AiML, 2020)

Indexed Frames and Hybrid Logics. - Philippe Balbiani; Saúl Fernández González (AiML, 2020)

From Public Announcements to Asynchronous Announcements. - Philippe Balbiani; Hans van Ditmarsch; Saúl Fernández González (ECAI, 2020)

About the unification type of K+☐☐⊥. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (UNIF, 2020)

About the unification types of the modal logics determined by classes of deterministic frames. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (CoRR, 2020)

Introduction to the special issue: Unification. - Mauricio Ayala-Rincón; Philippe Balbiani (Math. Struct. Comput. Sci., 2020)

About the Unification Type of Modal Logics Between $ mathbf {KB}$ and $ mathbf {KTB}$. - Philippe Balbiani; Çigdem Gencer (Stud Logica, 2020)

Intuitionistic Linear Temporal Logics. - Philippe Balbiani; Joseph Boudou; Martín Diéguez; David Fernández-Duque (ACM Trans. Comput. Log., 2020)

Some constructive variants of S4 with the finite model property. - Philippe Balbiani; Martín Diéguez; David Fernández-Duque (LICS, 2021)

Orthogonal Frames and Indexed Relations. - Philippe Balbiani; Saúl Fernández González (WoLLIC, 2021)

Bisimulations for Intuitionistic Temporal Logics. - Philippe Balbiani; Joseph Boudou; Martín Diéguez; David Fernández-Duque (FLAP, 2021)

About the Unification Type of Fusions of Modal Logic. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv (FLAP, 2021)

Relational Representation Theorems for Extended Contact Algebras. - Philippe Balbiani; Tatyana Ivanova (Stud Logica, 2021)

Parametrized modal logic I: An introduction. - Philippe Balbiani; Saúl Fernández González (AiML, 2022)

Projective unification through duality. - Philippe Balbiani; Quentin Gougeon (AiML, 2022)

Parametrized Modal Logic II: The Unidimensional Case. - Philippe Balbiani (DaLí, 2022)

Advanced Languages of Terms for Ontologies. - Philippe Balbiani; Martín Diéguez; Çigdem Gencer (Description Logics, 2022)

Advanced languages of terms for ontologies. - Philippe Balbiani; Çigdem Gencer (JIAF, 2022)

About the unification type of $ mathbf {K}+ square square bot $. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (Ann. Math. Artif. Intell., 2022)

Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. - Philippe Balbiani; David Fernández-Duque; Andreas Herzig; Petar Iliev (Log. J. IGPL, 2022)

Unification with parameters in the implication fragment of classical propositional logic. - Philippe Balbiani; Mojtaba Mojtahedi (Log. J. IGPL, 2022)

Asynchronous Announcements. - Philippe Balbiani; Hans van Ditmarsch; Saúl Fernández González (ACM Trans. Comput. Log., 2022)

Simple Axioms for Local Properties. - Philippe Balbiani; Wiebe van der Hoek; Louwe B. Kuijer (TARK, 2023)

Remarks about the unification types of some locally tabular normal modal logics. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (Log. J. IGPL, 2023)

Unification types in Euclidean modal logics. - Majid Alizadeh; Mohammad Ardeshir; Philippe Balbiani; Mojtaba Mojtahedi (Log. J. IGPL, 2023)

Towards Dynamic Distributed Knowledge. - Philippe Balbiani; Hans van Ditmarsch (AiML, 2024)

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. - Philippe Balbiani; Han Gao; Çigdem Gencer; Nicola Olivetti (CSL, 2024)

Local Intuitionistic Modal Logics and Their Calculi. - Philippe Balbiani; Han Gao; Çigdem Gencer; Nicola Olivetti (IJCAR (2), 2024)

Constructive S4 modal logics with the finite birelational frame property. - Philippe Balbiani; Martín Diéguez; David Fernández-Duque; Brett McLean (CoRR, 2024)

Undecidability of admissibility in the product of two Alt logics. - Philippe Balbiani; Çigdem Gencer (Log. J. IGPL, 2025)

Projective relative unification through duality. - Philippe Balbiani; Quentin Gougeon (J. Log. Comput., 2025)

Intuitionistic modal logics: a minimal setting. - Philippe Balbiani; Çigdem Gencer (CoRR, 2025)

Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK. - Philippe Balbiani; Çigdem Gencer (CoRR, 2025)

Complexity of some modal logics of density (extended version). - Philippe Balbiani; Olivier Gasquet (CoRR, 2025)

PSPACE-completeness of bimodal transitive weak-density logic. - Philippe Balbiani; Olivier Gasquet (CoRR, 2025)