Search - Archive ouverte HAL Access content directly

Filter your results

123 Results
Image document

Tableaux methods for propositional dynamic logics with separating parallel composition

Philippe Balbiani , Joseph Boudou
International Conference on Automated Deduction (CADE 2015), Aug 2015, Berlin, Germany. pp.539-554
Conference papers hal-01650183v1

Arbitrary announcement logic (abstract)

P. Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomoshiro Hoshi et al.
The Bulletin of Symbolic Logic, 2008, The 2007 Annual Conference of the Australasian Association for Logic, 14 (3), pp.438-439. ⟨10.2178/bsl/1231081377⟩
Journal articles istex hal-00747135v1

A model for reasoning about generalized intervals ((AIMSA 1998)

Philippe Balbiani , Jean-François Condotta , Luis Farinas del Cerro , Aomar Osmani
8th International Conference on Artificial Intelligence : Methods, Systems, Applications (AIMSA 1998), 1998, Sozopol, Bulgaria. pp.50-61, ⟨10.1007/BFb0057434⟩
Conference papers istex hal-03300319v1

A tableau method for public announcement logics

Philippe Balbiani , Hans Van Ditmarsch , Andreas Herzig , Tiago De Lima
16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Jul 2007, Aix-en-Provence, France. pp.43-59, ⟨10.1007/978-3-540-73099-6_6⟩
Conference papers hal-03516645v1
Image document

Remarks about the unification type of several non-symmetric non-transitive modal logics

Philippe Balbiani
Logic Journal of the IGPL, 2018, 27 (5), pp.639-658. ⟨10.1093/jigpal/jzy078⟩
Journal articles hal-02378381v1

Some remarks about intuitionistic modal logics (Conference on Mathematical Logic , Bulgaria, 2016)

Philippe Balbiani
Conference on Mathematical Logic dedicated to the 80th anniversary of Dimiter Skordev (2016), Oct 2016, Gyolechitsa, Bulgaria
Conference papers hal-03176434v1
Image document

Reasoning about negligibility and proximity in the set of all hyperreals

Philippe Balbiani
Journal of Applied Logic, 2016, 16, pp.14-36. ⟨10.1016/j.jal.2016.04.002⟩
Journal articles hal-01739997v1

A tractable subclass of the block algebra : constraint propagation and preconvex relations

Philippe Balbiani , Jean-François Condotta , Luis Farinas del Cerro
Ninth Portuguese Conference on Artificial Intelligence (EPIA 1999), 1999, Evora, Portugal. pp.75-89, ⟨10.1007/3-540-48159-1_6⟩
Conference papers istex hal-03300315v1

A Logical Framework for Reasoning about Policies with Trust Negotiations and Workflows in a Distributed Environment

Philippe Balbiani , Yannick Chevalier , Marwa El Houri
4th International Conference on Risks and Security of Internet and Systems - CRiSIS 2009, Oct 2009, Toulouse, France. pp.3-11, ⟨10.1109/CRISIS.2009.5411983⟩
Conference papers inria-00432528v1
Image document

Contact Logic is finitary for unification with constants

Philippe Balbiani , Cigdem Gencer
International Workshop on Logic and Cognition (WOLC 2016), Dec 2016, Canton, China
Conference papers hal-02936482v1
Image document

Axiomatization and computability of a variant of iteration-free PDL with fork

Philippe Balbiani , Joseph Boudou
Journal of Logic and Algebraic Methods in Programming, 2019, Special issue: SI: DaLí-Dynamic Logics, new trends and applications - Selected contributions, 108, pp.47-68. ⟨10.1016/j.jlamp.2019.06.004⟩
Journal articles hal-02378379v1
Image document

Unification types in Euclidean modal logics

Majid Alizadeh , Mohammad Ardeshir , Philippe Balbiani , Mojtaba Mojtahedi
Logic Journal of the IGPL, 2022, pp.jzab036. ⟨10.1093/jigpal/jzab036⟩
Journal articles hal-03762124v1
Image document

Agents that look at one another

Philippe Balbiani , Olivier Gasquet , François Schwarzentruber
Logic Journal of the IGPL, 2013, vol. 21 (n° 3), pp. 438-467. ⟨10.1093/jigpal/jzs052⟩
Journal articles hal-01138505v1
Image document

Unification in epistemic logics

Philippe Balbiani , Cigdem Gencer
Journal of Applied Non-Classical Logics, 2017, 27 (1-2), pp.91-105. ⟨10.1080/11663081.2017.1368845⟩
Journal articles hal-02365663v1
Image document

First-order characterization and modal analysis of indiscernibility and complementarity in information systems

Philippe Balbiani , Dimiter Vakarelov
6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001), Sep 2001, Toulouse, France. pp.772-781, ⟨10.1007/3-540-44652-4_68⟩
Conference papers istex hal-03252571v1
Image document

Subset space logic with arbitrary announcements

Philippe Balbiani , Hans van Ditmarsch , Andrey Kudinov
5th Indian Conference on Logics and its Applications (ICLA 2013), Jan 2013, Chennai, India. pp.233-244, ⟨10.1007/978-3-642-36039-8_21⟩
Conference papers hal-01202518v1
Image document

Complete axiomatization of a relative modal logic with composition and intersection

Philippe Balbiani , Luis Fariñas del Cerro
Journal of Applied Non-Classical Logics, 1998, 8-1998 (4), pp.325-335. ⟨10.1080/11663081.1998.10510949⟩
Journal articles hal-03252480v1

Tableaux for public announcement logics

Philippe Balbiani , Hans Van Ditmarsch , Andreas Herzig , Tiago De Lima
Journal of Logic and Computation, 2010, Special Issue on Tableaux and Analytic Proof Methods, 20 (1), pp.55--76. ⟨10.1093/logcom/exn060⟩
Journal articles istex hal-03470301v1

Un modèle pour raisonner sur les relations entre régions indéterminées

Philippe Balbiani , Jean-François Condotta
11èmes Journées d'Intelligence Artificielle Fondamentale (IAF @ PFIA 2017), Jul 2017, Caen, France
Conference papers hal-01576040v1

Journal of Applied Non-Classical Logics (2010) : Special Issue 20th Anniversary - Part 2

Philippe Balbiani , Andreas Herzig , Luis Fariñas del Cerro
Balbiani, Philippe; Fariñas del Cerro, Luis; Herzig, Andreas. Hermès, 20 (4), pp.312-477, 2011, Journal of Applied Non-Classical Logics
Books hal-03470292v1
Image document

Quantifying over Asynchronous Information Change

Philippe Balbiani , Hans van Ditmarsch , Saúl Fernández González
International Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52
Conference papers hal-02936428v1
Image document

Putting right the wording and the proof of the Truth Lemma for APAL

Philippe Balbiani
Journal of Applied Non-Classical Logics, 2015, 25 - 2015 (1), pp.2-19. ⟨10.1080/11663081.2015.1011489⟩
Journal articles hal-01739993v1
Image document

The finiteness of logic programming derivations

Philippe Balbiani
3rd International Conference on Algebraic and Logic Programming (ALP 1992), Sep 1992, Volterra, Italy. pp.403-419, ⟨10.1007/BFb0013840⟩
Conference papers istex hal-03252315v1
Image document

Definability and computability for PRSPDL

Philippe Balbiani , Tinko Tinchev
10th conference on Advances in Modal logic (AiML 2014), Aug 2014, Groningen, Netherlands. pp.16-33
Conference papers hal-01650181v1
Image document

Decidable and undecidable problems for first-order definability and modal definability

Philippe Balbiani , Tinko Tinchev
Thirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia. pp.214-236, ⟨10.1007/978-3-030-98479-3_11⟩
Conference papers hal-03248067v1
Image document

Exploring the Bidimensional Space: a Dynamic Logic Point of View

Philippe Balbiani , David Fernández-Duque , Emiliano Lorini
16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2017, Sao Paulo, Brazil. pp.132-140
Conference papers hal-02361220v1
Image document

Bisimulations for intuitionistic temporal logics

Philippe Balbiani , Joseph Boudou , Martin Dieguez , David Fernández-Duque
Electronic Notes in Theoretical Computer Science, 2020
Journal articles hal-02936452v1
Image document

KD is nullary

Philippe Balbiani , Cigdem Gencer
Journal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.196-205. ⟨10.1080/11663081.2018.1428000⟩
Journal articles hal-02365665v1
Image document

Frame-validity games and absolute minimality of modal axioms

Philippe Balbiani , David Fernández-Duque , Andreas Herzig , Petar Iliev
12th International Conference on Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.83-102
Conference papers hal-03046246v1
Image document

The Dynamics of Epistemic Attitudes in Resource-Bounded Agents

Philippe Balbiani , David Fernández-Duque , Emiliano Lorini
Studia Logica, 2019, Special Issue: 40 years of FDE, 107, pp.457-488. ⟨10.1007/s11225-018-9798-4⟩
Journal articles hal-02390930v1