23 found
Sort by:
  1. Philippe Balbiani & Fariñas del Cerro (forthcoming). A Relational Model of Movement. Logique Et Analyse.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Natasha Alechina, Philippe Balbiani & Dmitry Shkatov (2012). Modal Logics for Reasoning About Infinite Unions and Intersections of Binary Relations. Journal of Applied Non-Classical Logics 22 (4):275 - 294.
    (2012). Modal logics for reasoning about infinite unions and intersections of binary relations. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 275-294. doi: 10.1080/11663081.2012.705960.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Philippe Balbiani (2012). Inequality Without Irreflexivity. Journal of Applied Non-Classical Logics 9 (4):523-534.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Philippe Balbiani & Luis Fariñas del Cerro (2012). Complete Axiomatization of a Relative Modal Logic with Composition and Intersection. Journal of Applied Non-Classical Logics 8 (4):325-335.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Philippe Balbiani & Andreas Herzig (2012). A Translation From the Modal Logic of Provability Into K4. Journal of Applied Non-Classical Logics 4 (1):73-77.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Philippe Balbiani & Antoun Yaacoub (2012). Deciding the Bisimilarity Relation Between Datalog Goals. In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. 67--79.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Philippe Balbiani (2011). Axiomatization and Completeness of Lexicographic Products of Modal Logics. Journal of Applied Non-Classical Logics 21 (2):141-176.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Philippe Balbiani, Propositional Dynamic Logic. Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Philippe Balbiani (2008). Hyper Arrow Logic with Indiscernibility and Complementarity. Journal of Applied Non-Classical Logics 18 (2-3):137-152.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima (2008). Knowable' as 'Known After an Announcement. Review of Symbolic Logic 1 (3):305-334.
    Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a logic for arbitrary events.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  11. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima (2008). Knowable' as 'Known After an Announcement. Review of Symbolic Logic 1 (3):305-334.
    Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a logic for arbitrary events.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Philippe Balbiani, Andreas Herzig & Nicolas Troquard (2008). Alternative Axiomatics and Complexity of Deliberative Stit Theories. Journal of Philosophical Logic 37 (4):387 - 406.
    We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas’s STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Philippe Balbiani, Tinko Tinchev & Dimiter Vakarelov (2007). Dynamic Logics of the Region-Based Theory of Discrete Spaces. Journal of Applied Non-Classical Logics 17 (1):39-61.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Philippe Balbiani (2004). Reasoning About Vague Concepts in the Theory of Property Systems. Logique Et Analyse 47:445.
     
    My bibliography  
     
    Export citation  
  15. Philippe Balbiani & Dimiter Vakarelov (2004). Dynamic Extensions of Arrow Logic. Annals of Pure and Applied Logic 127 (1-3):1-15.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Philippe Balbiani & Dimiter Vakarelov (2003). PDL with Intersection of Programs: A Complete Axiomatization. Journal of Applied Non-Classical Logics 13 (3-4):231-276.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. Philippe Balbiani (2002). Foreword. Journal of Applied Non-Classical Logics 12 (3-4):317-318.
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  18. Philippe Balbiani & Valentin Goranko (2002). Modal Logics for Parallelism, Orthogonality, and Affine Geometries. Journal of Applied Non-Classical Logics 12 (3-4):365-397.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Philippe Balbiani (2001). A New Proof of Completeness for a Relative Modal Logic with Composition and Intersection. Journal of Applied Non-Classical Logics 11 (3-4):269-280.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. Philippe Balbiani & Ewa Orlowska (1999). A Hierarchy of Modal Logics with Relative Accessibility Relations. Journal of Applied Non-Classical Logics 9 (2-3):303-328.
    ABSTRACT In this paper we introduce and investigate various classes of multimodal logics based on frames with relative accessibility relations. We discuss their applicability to representation and analysis of incomplete information. We provide axiom systems for these logics and we prove their completeness.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. Philippe Balbiani (1998). The Modal Multilogic of Geometry. Journal of Applied Non-Classical Logics 8 (3):259-281.
    ABSTRACT A spatial logic is a modal logic of which the models are the mathematical models of space. Successively considering the mathematical models of space that are the incidence geometry and the projective geometry, we will successively establish the language, the semantical basis, the axiomatical presentation, the proof of the decidability and the proof of the completeness of INC, the modal multilogic of incidence geometry, and PRO, the modal multilogic of projective geometry.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. Philippe Balbiani & Luis Fariñas del Cerro (1998). Complete Axiomatization of a Relative Modal Logic with Composition and Intersection. Journal of Applied Non-Classical Logics 8 (4):325-335.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Philippe Balbiani (1991). Nonmonotonic Reasoning and Modal Logic, From Negation as Failure to Default Logic. In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. 223--231.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation