Stop the war!Остановите войну!
for scientists:
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
- 2023
[j65]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)- 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) - [c96]Philippe Balbiani, Saúl Fernández González:
Parametrized modal logic I: An introduction. AiML 2022: 97-118 - [c95]Philippe Balbiani, Quentin Gougeon:
Projective unification through duality. AiML 2022: 119-134 - [c94]Philippe Balbiani:
Parametrized Modal Logic II: The Unidimensional Case. DaLí 2022: 17-36 - [c93]Philippe Balbiani, Martín Diéguez, Çigdem Gencer:
Advanced Languages of Terms for Ontologies. Description Logics 2022 - [c92]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) - [c91]Philippe Balbiani, Martín Diéguez, David Fernández-Duque:
Some constructive variants of S4 with the finite model property. LICS 2021: 1-13 - [c90]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) - [c89]Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González:
Quantifying over Asynchronous Information Change. AiML 2020: 33-52 - [c88]Philippe Balbiani, Saúl Fernández González:
Indexed Frames and Hybrid Logics. AiML 2020: 53-72 - [c87]Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González:
From Public Announcements to Asynchronous Announcements. ECAI 2020: 75-82 - [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) - [c86]Philippe Balbiani:
Unification in Modal Logic. ICLA 2019: 1-5 - [c85]Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini:
Stratified Evidence Logics. IJCAI 2019: 1523-1529 - [c84]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) - [c83]Philippe Balbiani, Martín Diéguez:
Here and There Modal Logic with Dual Implication. Advances in Modal Logic 2018: 63-82 - [c82]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) - [c81]Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
Exploring the Bidimensional Space: A Dynamic Logic Point of View. AAMAS 2017: 132-140 - [c80]Philippe Balbiani, Çigdem Gencer:
Finitariness of Elementary Unification in Boolean Region Connection Calculus. FroCoS 2017: 281-297 - [c79]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) - [c78]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig:
Before announcement. Advances in Modal Logic 2016: 58-77 - [c77]Philippe Balbiani, David Fernández-Duque:
Axiomatizing the lexicographic products of modal logics with linear temporal logic. Advances in Modal Logic 2016: 78-96 - [c76]Philippe Balbiani, Didier Galmiche:
About intuitionistic public announcement logic. Advances in Modal Logic 2016: 97-116 - [c75]Philippe Balbiani, Tinko Tinchev:
Unification in modal logic Alt1. Advances in Modal Logic 2016: 117-134 - [c74]Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
A Logical Theory of Belief Dynamics for Resource-Bounded Agents. AAMAS 2016: 644-652 - [c73]Philippe Balbiani, Martín Diéguez:
Temporal Here and There. JELIA 2016: 81-96 - [c72]Philippe Balbiani, David Pearce, Levan Uridia:
On Logics of Group Belief in Structured Coalitions. JELIA 2016: 97-111 - 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) - [c71]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) - [c70]Philippe Balbiani, Tinko Tinchev:
Definability and Computability for PRSPDL. Advances in Modal Logic 2014: 16-33 - [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 P. van Ditmarsch, Andreas Herzig, Tiago de Lima:
A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59 - [c41]Philippe Balbiani, Alexandru Baltag, Hans P. 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) - [