default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPhilippe Balbiani
Person information
- affiliation: IRIT, Toulouse, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c103]Philippe Balbiani, Hans van Ditmarsch:
Towards Dynamic Distributed Knowledge. AiML 2024: 125-146- [c102]Philippe Balbiani, Han Gao
, Çigdem Gencer, Nicola Olivetti:
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. CSL 2024: 13:1-13:21 - [c101]Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti:
Local Intuitionistic Modal Logics and Their Calculi. IJCAR (2) 2024: 78-96 - [i15]Philippe Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean:
Constructive S4 modal logics with the finite birelational frame property. CoRR abs/2403.00201 (2024) - [i14]Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti:
Local Intuitionistic Modal Logics and Their Calculi. CoRR abs/2403.06772 (2024) - 2023
- [j66]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): 115-139 (2023) - [j65]Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi:
Unification types in Euclidean modal logics. Log. J. IGPL 31(3): 422-440 (2023) - [c100]Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer:
Simple Axioms for Local Properties. TARK 2023: 82-92 - [i13]Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti:
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus. CoRR abs/2309.06309 (2023) - 2022
- [j64]Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev:
About the unification type of $\mathbf {K}+\square \square \bot $. Ann. Math. Artif. Intell. 90(5): 481-497 (2022) - [j63]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): 155-185 (2022) - [j62]Philippe Balbiani, Mojtaba Mojtahedi:
Unification with parameters in the implication fragment of classical propositional logic. Log. J. IGPL 30(3): 454-464 (2022) - [j61]Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González:
Asynchronous Announcements. ACM Trans. Comput. Log. 23(2): 10:1-10:38 (2022) - [c99]Philippe Balbiani, Saúl Fernández González:
Parametrized modal logic I: An introduction. AiML 2022: 97-117 - [c98]Philippe Balbiani, Quentin Gougeon:
Projective unification through duality. AiML 2022: 119-134 - [c97]Philippe Balbiani:
Parametrized Modal Logic II: The Unidimensional Case. DaLí 2022: 17-36 - [c96]Philippe Balbiani, Martín Diéguez, Çigdem Gencer:
Advanced Languages of Terms for Ontologies. Description Logics 2022 - [c95]Philippe Balbiani, Çigdem Gencer:
Advanced languages of terms for ontologies. JIAF 2022: 135-147 - 2021
- [j60]Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv:
About the Unification Type of Fusions of Modal Logic. FLAP 8(3): 671-706 (2021) - [j59]Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Bisimulations for Intuitionistic Temporal Logics. FLAP 8(8): 2265-2286 (2021) - [j58]Philippe Balbiani, Tatyana Ivanova:
Relational Representation Theorems for Extended Contact Algebras. Stud Logica 109(4): 701-723 (2021) - [c94]Philippe Balbiani, Martín Diéguez, David Fernández-Duque:
Some constructive variants of S4 with the finite model property. LICS 2021: 1-13 - [c93]Philippe Balbiani, Saúl Fernández González:
Orthogonal Frames and Indexed Relations. WoLLIC 2021: 219-234 - [i12]Philippe Balbiani, Martín Diéguez, David Fernández-Duque:
Some constructive variants of S4 with the finite model property. CoRR abs/2104.15053 (2021) - 2020
- [j57]Mauricio Ayala-Rincón, Philippe Balbiani:
Introduction to the special issue: Unification. Math. Struct. Comput. Sci. 30(6): 570-571 (2020) - [j56]Philippe Balbiani, Çigdem Gencer:
About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$. Stud Logica 108(5): 941-966 (2020) - [j55]Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Intuitionistic Linear Temporal Logics. ACM Trans. Comput. Log. 21(2): 14:1-14:32 (2020) - [c92]Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González:
Quantifying over Asynchronous Information Change. AiML 2020: 33-52 - [c91]Philippe Balbiani, Saúl Fernández González:
Indexed Frames and Hybrid Logics. AiML 2020: 53-72 - [c90]Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González:
From Public Announcements to Asynchronous Announcements. ECAI 2020: 75-82 - [c89]Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev:
About the unification type of K+☐☐⊥. UNIF 2020: 4:1-4:6 - [i11]Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev:
About the unification types of the modal logics determined by classes of deterministic frames. CoRR abs/2004.07904 (2020)
2010 – 2019
- 2019
- [j54]Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro:
Setting the Basis for Here and There Modal Logics. FLAP 6(6): 1475-1500 (2019) - [j53]Philippe Balbiani, Çigdem Gencer, Zafer Özdemir:
Two decision problems in Contact Logics. Log. J. IGPL 27(1): 8-32 (2019) - [j52]Philippe Balbiani:
Remarks about the unification type of several non-symmetric non-transitive modal logics. Log. J. IGPL 27(5): 639-658 (2019) - [j51]Philippe Balbiani, Joseph Boudou:
Axiomatization and computability of a variant of iteration-free PDL with fork. J. Log. Algebraic Methods Program. 108: 47-68 (2019) - [j50]Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. Stud Logica 107(3): 457-488 (2019) - [c88]Philippe Balbiani:
Unification in Modal Logic. ICLA 2019: 1-5 - [c87]Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini:
Stratified Evidence Logics. IJCAI 2019: 1523-1529 - [c86]Philippe Balbiani, Tinko Tinchev:
Decidable and Undecidable Problems for First-Order Definability and Modal Definability. TbiLLC 2019: 214-236 - [i10]Philippe Balbiani, Tatyana Ivanova:
Representation theorems for extended contact algebras based on equivalence relations. CoRR abs/1901.10367 (2019) - [i9]Philippe Balbiani, Çigdem Gencer:
About the unification type of simple symmetric modal logics. CoRR abs/1902.03770 (2019) - [i8]Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Intuitionistic Linear Temporal Logics. CoRR abs/1912.12893 (2019) - 2018
- [j49]Philippe Balbiani, Tinko Tinchev:
Elementary Unification in Modal Logic KD45. FLAP 5(1): 301-318 (2018) - [j48]Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev:
Modal correspondence theory in the class of all Euclidean frames. J. Log. Comput. 28(1): 119-131 (2018) - [j47]Philippe Balbiani, Joseph Boudou:
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. J. Log. Comput. 28(4): 705-731 (2018) - [c85]Philippe Balbiani, Martín Diéguez:
Here and There Modal Logic with Dual Implication. Advances in Modal Logic 2018: 63-82 - [c84]Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev:
Frame-Validity Games and Absolute Minimality of Modal Axioms. Advances in Modal Logic 2018: 83-102 - [i7]Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Bisimulations for intuitionistic temporal logics. CoRR abs/1803.05078 (2018) - [i6]Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev:
Frame-validity games and lower bounds on the complexity of modal axioms. CoRR abs/1808.05051 (2018) - 2017
- [j46]Philippe Balbiani, Çigdem Gencer:
Unification in epistemic logics. J. Appl. Non Class. Logics 27(1-2): 91-105 (2017) - [j45]Philippe Balbiani, Çigdem Gencer:
KD is nullary. J. Appl. Non Class. Logics 27(3-4): 196-205 (2017) - [j44]Philippe Balbiani, Tinko Tinchev:
Undecidable problems for modal definability. J. Log. Comput. 27(3): 901-920 (2017) - [c83]Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
Exploring the Bidimensional Space: A Dynamic Logic Point of View. AAMAS 2017: 132-140 - [c82]Philippe Balbiani, Çigdem Gencer:
Finitariness of Elementary Unification in Boolean Region Connection Calculus. FroCoS 2017: 281-297 - [c81]Philippe Balbiani, Joseph Boudou:
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. DALI@TABLEAUX 2017: 17-34 - [i5]Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
Exploring the bidimensional space: A dynamic logic point of view. CoRR abs/1702.01601 (2017) - 2016
- [j43]Philippe Balbiani:
Reasoning about negligibility and proximity in the set of all hyperreals. J. Appl. Log. 16: 14-36 (2016) - [c80]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig:
Before announcement. Advances in Modal Logic 2016: 58-77 - [c79]Philippe Balbiani, David Fernández-Duque:
Axiomatizing the lexicographic products of modal logics with linear temporal logic. Advances in Modal Logic 2016: 78-96 - [c78]Philippe Balbiani, Didier Galmiche:
About intuitionistic public announcement logic. Advances in Modal Logic 2016: 97-116 - [c77]Philippe Balbiani, Tinko Tinchev:
Unification in modal logic Alt1. Advances in Modal Logic 2016: 117-134 - [c76]Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
A Logical Theory of Belief Dynamics for Resource-Bounded Agents. AAMAS 2016: 644-652 - [c75]Philippe Balbiani, Martín Diéguez:
Temporal Here and There. JELIA 2016: 81-96 - [c74]Philippe Balbiani, David Pearce, Levan Uridia:
On Logics of Group Belief in Structured Coalitions. JELIA 2016: 97-111 - [c73]Philippe Balbiani:
Solving equations in pure double Boolean algebras. UNIF 2016: 13-16 - 2015
- [j42]Philippe Balbiani:
Putting right the wording and the proof of the Truth Lemma for APAL. J. Appl. Non Class. Logics 25(1): 2-19 (2015) - [c72]Philippe Balbiani, Joseph Boudou:
Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. CADE 2015: 539-554 - 2014
- [j41]Philippe Balbiani, Tinko Tinchev:
Definability and Canonicity for Boolean Logic with a Binary Relation. Fundam. Informaticae 129(4): 301-327 (2014) - [c71]Philippe Balbiani, Tinko Tinchev:
Definability and Computability for PRSPDL. Advances in Modal Logic 2014: 16-33 - [c70]Philippe Balbiani, Tinko Tinchev:
Unification in the normal modal logic Alt1. UNIF 2014: 26-32 - [i4]Philippe Balbiani, Hans van Ditmarsch:
A simple proof of the completeness of APAL. CoRR abs/1409.2612 (2014) - [i3]Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard:
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR abs/1411.7825 (2014) - 2013
- [j40]Philippe Balbiani, Olivier Gasquet, François Schwarzentruber:
Agents that look at one another. Log. J. IGPL 21(3): 438-467 (2013) - [c69]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: 151-164 - [c68]Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov:
Subset Space Logic with Arbitrary Announcements. ICLA 2013: 233-244 - [c67]Philippe Balbiani, Andreas Herzig, Nicolas Troquard:
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. LICS 2013: 143-152 - [c66]Philippe Balbiani, Çigdem Gencer:
Admissibility and Unifiability in Contact Logics. TbiLLC 2013: 44-60 - [c65]Philippe Balbiani, Emiliano Lorini:
Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL. WoLLIC 2013: 251-265 - 2012
- [j39]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): 275-294 (2012) - [j38]Philippe Balbiani:
Deciding the word problem in pure double Boolean algebras. J. Appl. Log. 10(3): 260-273 (2012) - [c64]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Some Truths Are Best Left Unsaid. Advances in Modal Logic 2012: 36-54 - [c63]Philippe Balbiani, Stanislav Kikot:
Sahlqvist Theorems for Precontact Logics. Advances in Modal Logic 2012: 55-70 - [c62]Philippe Balbiani, Levan Uridia:
Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders. Advances in Modal Logic 2012: 71-88 - [c61]Philippe Balbiani, Antoun Yaacoub:
Deciding the Bisimilarity Relation between Datalog Goals. JELIA 2012: 67-79 - 2011
- [j37]Philippe Balbiani:
Axiomatization and completeness of lexicographic products of modal logics. J. Appl. Non Class. Logics 21(2): 141-176 (2011) - [j36]Philippe Balbiani, Pablo Seban:
Reasoning About Permitted Announcements. J. Philos. Log. 40(4): 445-472 (2011) - [c60]Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini:
Agents that speak: modelling communicative plans and information sources in a logic of announcements. AAMAS 2011: 1207-1208 - [c59]Philippe Balbiani:
The Word Problem in Semiconcept Algebras. CLA 2011: 279-294 - [c58]Philippe Balbiani, Valentin Goranko, Guido Sciavicco:
Two-sorted Point-Interval Temporal Logics. M4M/LAMAS 2011: 31-45 - 2010
- [j35]Philippe Balbiani:
Foreword. J. Appl. Non Class. Logics 20(3): 137-138 (2010) - [j34]Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Foreword. J. Appl. Non Class. Logics 20(4): 311 (2010) - [j33]Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban:
Group announcement logic. J. Appl. Log. 8(1): 62-81 (2010) - [j32]Philippe Balbiani, Tinko Tinchev:
Boolean logics with relations. J. Log. Algebraic Methods Program. 79(8): 707-721 (2010) - [j31]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Tableaux for Public Announcement Logic. J. Log. Comput. 20(1): 55-76 (2010) - [c57]Philippe Balbiani, Yannick Chevalier, Marwa El Houri:
An intruder model for trust negotiation. CRiSIS 2010: 1-8 - [c56]Philippe Balbiani:
Tools and Techniques in Qualitative Reasoning about Space. FoIKS 2010: 1-2 - [c55]Philippe Balbiani, Rachid Echahed, Andreas Herzig:
A Dynamic Logic for Termgraph Rewriting. ICGT 2010: 59-74 - [c54]Philippe Balbiani:
Coherence Test on Graphs Constraints between Hyperintervals. ICTAI (1) 2010: 223-226 - [c53]Philippe Balbiani:
Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints. TIME 2010: 19-26 - [i2]Philippe Balbiani, Rachid Echahed, Andreas Herzig:
A Modal Logic for Termgraph Rewriting. CoRR abs/1003.4369 (2010)
2000 – 2009
- 2009
- [c52]Philippe Balbiani, Yannick Chevalier, Marwa El Houri:
A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. CRiSIS 2009: 3-11 - [c51]Philippe Balbiani:
Axiomatization and Completeness of Lexicographic Products of Modal Logics. FroCoS 2009: 165-180 - [c50]Anas Abou El Kalam, Philippe Balbiani:
A Policy Language for Modelling Recommendations. SEC 2009: 176-189 - [c49]Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko:
Composition of Services with Constraints. FACS@FMWeek 2009: 31-46 - [c48]Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade:
Controller/Orchestrator Synthesis via Filtration. M4M 2009: 33-48 - 2008
- [j30]Philippe Balbiani, Petar Iliev, Dimiter Vakarelov:
A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n. Fundam. Informaticae 83(4): 451-464 (2008) - [j29]Philippe Balbiani:
Logical approaches to deontic reasoning: From basic questions to dynamic solutions. Int. J. Intell. Syst. 23(10): 1021-1045 (2008) - [j28]Philippe Balbiani:
Hyper arrow logic with indiscernibility and complementarity. J. Appl. Non Class. Logics 18(2-3): 137-152 (2008) - [j27]Philippe Balbiani, Andreas Herzig, Nicolas Troquard:
Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philos. Log. 37(4): 387-406 (2008) - [j26]Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima:
'Knowable' as 'known after an announcement'. Rev. Symb. Log. 1(3): 305-334 (2008) - [c47]Philippe Balbiani, Tinko Tinchev:
Boolean Logics with Relations. RelMiCS 2008: 4-21 - [c46]Philippe Balbiani, Yannick Chevalier, Marwa El Houri:
A Logical Approach to Dynamic Role-Based Access Control. AIMSA 2008: 194-208 - [c45]Philippe Balbiani:
Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. KR 2008: 695-704 - [c44]Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade:
Composition of Interactive Web Services Based on Controller Synthesis. SERVICES I 2008: 521-528 - [c43]Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade:
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. ICE@ICALP 2008: 3-18 - 2007
- [j25]Philippe Balbiani, Dimiter Vakarelov:
Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems. Fundam. Informaticae 75(1-4): 1-25 (2007) - [j24]Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov:
Modal Logics for Region-based Theories of Space. Fundam. Informaticae 81(1-3): 29-82 (2007) - [j23]Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov:
Dynamic logics of the region-based theory of discrete spaces. J. Appl. Non Class. Logics 17(1): 39-61 (2007) - [j22]Philippe Balbiani, Tinko Tinchev:
Line-based affine reasoning in Euclidean plane. J. Appl. Log. 5(3): 421-434 (2007) - [c42]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59 - [c41]Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima:
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK 2007: 42-51 - [c40]Philippe Balbiani, Jan M. Broersen, Julien Brunel:
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. M4M 2007: 69-89 - [c39]Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Global and Local Graph Modifiers. M4M 2007: 293-307 - [p1]Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov:
Logical Theories for Fragments of Elementary Geometry. Handbook of Spatial Logics 2007: 343-428 - [i1]Philippe Balbiani, Andreas Herzig, Nicolas Troquard:
Alternative axiomatics and complexity of deliberative STIT theories. CoRR abs/0704.3238 (2007) - 2006
- [j21]Philippe Balbiani, Jean-François Condotta, Gérard Ligozat:
On the consistency problem for the INDU calculus. J. Appl. Log. 4(2): 119-140 (2006) - [j20]Philippe Balbiani, Tinko Tinchev:
Definability Over the Class of all Partitions. J. Log. Comput. 16(5): 541-557 (2006) - [c38]Philippe Balbiani, Fatima Harb, Ali Kaafarani:
Access control with prohibitions and obligations. AICCSA 2006: 484-492 - [c37]Philippe Balbiani:
An expressive two-sorted spatial logic for plane projective geometry. Advances in Modal Logic 2006: 49-68 - [c36]Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman:
Every world can see a Sahlqvist world. Advances in Modal Logic 2006: 69-85 - 2005
- [c35]Philippe Balbiani:
A Uniform Approach to Modelling Timed Protection. Artificial Intelligence and Applications 2005: 219-224 - [c34]Philippe Balbiani:
A formal examination of roles and permissions in access control. AICCSA 2005: 96 - [c33]Philippe Balbiani, Fahima Cheikh:
Safety Problems in Access Control with Temporal Constraints. MMM-ACNS 2005: 165-178 - [c32]Philippe Balbiani:
Access Control with Uncertain Surveillance. Web Intelligence 2005: 778-781 - 2004
- [j19]Philippe Balbiani, Dimiter Vakarelov:
Dynamic extensions of arrow logic. Ann. Pure Appl. Log. 127(1-3): 1-15 (2004) - [c31]Philippe Balbiani, Khalil Challita:
Solving Constraints Between Lines in Euclidean Geometry. AIMSA 2004: 148-157 - [c30]Philippe Balbiani, Tinko Tinchev:
Line-Based Affine Reasoning in Euclidean Plane. JELIA 2004: 474-486 - 2003
- [j18]Philippe Balbiani:
Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection. Fundam. Informaticae 56(3): 211-242 (2003) - [j17]Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig:
Foreword. J. Appl. Non Class. Logics 13(1): 7-8 (2003) - [j16]Philippe Balbiani, Dimiter Vakarelov:
PDL with Intersection of Programs: A Complete Axiomatization. J. Appl. Non Class. Logics 13(3-4): 231-276 (2003) - [c29]Anas Abou El Kalam, Salem Benferhat, Alexandre Miège, Rania El Baida, Frédéric Cuppens, Claire Saurel, Philippe Balbiani, Yves Deswarte, Gilles Trouessin:
Organization based access contro. POLICY 2003: 120- - [c28]Philippe Balbiani, Jean-François Condotta, Gérard Ligozat:
Reasoning about Cyclic Space: Axiomatic and Computational Aspects. Spatial Cognition 2003: 348-371 - [c27]Philippe Balbiani, Jean-François Condotta, Gérard Ligozat:
On the Consistency Problem for the INDU Calculus. TIME 2003: 203-211 - [e1]Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September - 2 October 2002. King's College Publications 2003, ISBN 0-9543006-2-9 [contents] - 2002
- [j15]Philippe Balbiani, Jean-François Condotta:
Spatial Reasoning About Points in a Multidimensional Setting. Appl. Intell. 17(3): 221-238 (2002) - [j14]Philippe Balbiani, Dimiter Vakarelov:
A Modal Logic for Indiscernibility and Complementarity in Information Systems. Fundam. Informaticae 50(3-4): 243-263 (2002) - [j13]Philippe Balbiani:
Foreword. J. Appl. Non Class. Logics 12(3-4): 317-318 (2002) - [j12]Philippe Balbiani, Valentin Goranko:
Modal Logics for Parallelism, Orthogonality, and Affine Geometries. J. Appl. Non Class. Logics 12(3-4): 365-398 (2002) - [j11]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
Tractability Results in the Block Algebra. J. Log. Comput. 12(5): 885-909 (2002) - [c26]Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Editorial Preface. Advances in Modal Logic 2002 - [c25]Philippe Balbiani, Jean-François Condotta:
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. FroCoS 2002: 162-176 - 2001
- [j10]Philippe Balbiani, Dimiter Vakarelov:
Iteration-free PDL with Intersection: a Complete Axiomatization. Fundam. Informaticae 45(3): 173-194 (2001) - [j9]Philippe Balbiani:
A new proof of completeness for a relative modal logic with composition and intersection. J. Appl. Non Class. Logics 11(3-4): 269-280 (2001) - [c24]Philippe Balbiani:
Emptiness Relations in Property Systems. RelMiCS 2001: 15-34 - [c23]Philippe Balbiani, Dimiter Vakarelov:
First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. ECSQARU 2001: 772-781 - 2000
- [c22]Philippe Balbiani, Aomar Osmani:
A Model for Reasoning about Topologic Relations between cyclic intervals. KR 2000: 378-385 - [c21]Philippe Balbiani, Jean-François Condotta, Gérard Ligozat:
Reasoning about Generalized Intervals: Horn Representability and Tractability. TIME 2000: 23-29
1990 – 1999
- 1999
- [j8]Philippe Balbiani, Ewa Orlowska:
A hierarchy of modal logics with relative accessibility relations. J. Appl. Non Class. Logics 9(2-3): 303-328 (1999) - [j7]Philippe Balbiani:
Inequality without irreflexivity. J. Appl. Non Class. Logics 9(4): 523-534 (1999) - [c20]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. EPIA 1999: 75-89 - [c19]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A New Tractable Subclass of the Rectangle Algebra. IJCAI 1999: 442-447 - 1998
- [j6]Philippe Balbiani:
The modal multilogic of geometry. J. Appl. Non Class. Logics 8(3): 259-281 (1998) - [j5]Philippe Balbiani, Luis Fariñas del Cerro:
Complete axiomatization of a relative modal logic with composition and intersection. J. Appl. Non Class. Logics 8(4): 325-335 (1998) - [c18]Philippe Balbiani, Dimiter Vakarelov:
Extending arrow logic. RelMiCS 1998: 13-17 - [c17]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani:
Reasoning about Generalized Intervals. AIMSA 1998: 50-61 - [c16]Philippe Balbiani, Amal El Fallah Seghrouchni:
A Modal Logic for Reasoning about Beliefs, Desires and Intentions of Complex Agents in a Distributed Environment. ICMAS 1998: 387-388 - [c15]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A Model for Reasoning about Bidemsional Temporal Relations. KR 1998: 124-130 - 1997
- [j4]Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov:
Modal Logics for Incidence Geometries. J. Log. Comput. 7(1): 59-78 (1997) - [c14]Philippe Balbiani, Stéphane Demri:
Prefixed Tableaux Systems for Modal Logics with Enriched Languages. IJCAI (1) 1997: 190-195 - 1996
- [c13]Philippe Balbiani:
Terminological Modal Logic. Advances in Modal Logic 1996: 23-39 - [c12]Philippe Balbiani:
Modal Logics with Relative Accessibility Relations. FAPR 1996: 29-42 - [c11]Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov:
Geometrical Structures and Modal Logic. FAPR 1996: 43-57 - [c10]Philippe Balbiani:
A Modal Logic for Data Analysis. MFCS 1996: 167-179 - 1994
- [j3]Philippe Balbiani, Andreas Herzig:
A translation from the modal logic of provability into K4. J. Appl. Non Class. Logics 4(1): 73-77 (1994) - [c9]Philippe Balbiani:
Equation Solving in Projective Planes and Planar Ternary Rings. ALP 1994: 95-113 - [c8]Philippe Balbiani:
Equation Solving in Geometrical Theories. CTRS 1994: 31-50 - 1993
- [c7]Philippe Balbiani, Luis Fariñas del Cerro:
Affine Geometry of Collinearity and Conditional Term Rewriting. Term Rewriting 1993: 196-213 - 1992
- [j2]Philippe Balbiani:
A modal semantics of negation in logic programming. Fundam. Informaticae 16(3-4): 231-262 (1992) - [c6]Philippe Balbiani:
The Finiteness of Logic Programming Derivations. ALP 1992: 403-419 - [c5]Philippe Balbiani:
Sur la finitude des dérivations de la programmation en logique. JFPL 1992: 194-209 - 1991
- [j1]Philippe Balbiani:
Modal Logic and Negation as Failure. J. Log. Comput. 1(3): 331-356 (1991) - [c4]Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques:
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. PDK 1991: 366-382 - [c3]Philippe Balbiani:
A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules. STACS 1991: 523-534 - 1990
- [c2]Philippe Balbiani:
Non-monotonic Reasoning and Modal Logic, from Negation as Failure to Default Logic. IPMU 1990: 223-231
1980 – 1989
- 1988
- [c1]Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Declarative Semantics for Modal Logic Programs. FGCS 1988: 507-514
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 20:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
