33 found
Order:
  1.  36
    Knowable' as 'Known After an Announcement.Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima - 2008 - 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)  
     
    Export citation  
     
    My bibliography   11 citations  
  2.  49
    Alternative Axiomatics and Complexity of Deliberative Stit Theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - 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)  
     
    Export citation  
     
    My bibliography   10 citations  
  3.  7
    'Knowable' as 'Known After an Announcement'.Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima - 2008 - 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 (7 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  4.  4
    Group Announcement Logic.Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban - 2010 - Journal of Applied Logic 8 (1):62-81.
  5.  5
    Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.
  6.  5
    Inequality Without Irreflexivity.Philippe Balbiani - 2012 - Journal of Applied Non-Classical Logics 9 (4):523-534.
  7.  35
    Complete Axiomatization of a Relative Modal Logic with Composition and Intersection.Philippe Balbiani & Luis Fariñas del Cerro - 1998 - Journal of Applied Non-Classical Logics 8 (4):325-335.
  8.  49
    The Modal Multilogic of Geometry.Philippe Balbiani - 1998 - 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)  
     
    Export citation  
     
    My bibliography   3 citations  
  9.  61
    A Relational Model of Movement.Philippe Balbiani & Fariñas del Cerro - forthcoming - Logique Et Analyse.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  9
    A Translation From the Modal Logic of Provability Into K4.Philippe Balbiani & Andreas Herzig - 2012 - Journal of Applied Non-Classical Logics 4 (1):73-77.
  11.  14
    Propositional Dynamic Logic.Philippe Balbiani - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  3
    Complete Axiomatization of a Relative Modal Logic with Composition and Intersection.Philippe Balbiani & Luis Fariñas del Cerro - 2012 - Journal of Applied Non-Classical Logics 8 (4):325-335.
  13.  15
    A New Proof of Completeness for a Relative Modal Logic with Composition and Intersection.Philippe Balbiani - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):269-280.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  14.  1
    Dynamic Extensions of Arrow Logic.Philippe Balbiani & Dimiter Vakarelov - 2004 - Annals of Pure and Applied Logic 127 (1-3):1-15.
    This paper is devoted to the complete axiomatization of dynamic extensions of arrow logic based on a restriction of propositional dynamic logic with intersection. Our deductive systems contain an unorthodox inference rule: the inference rule of intersection. The proof of the completeness of our deductive systems uses the technique of the canonical model.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  5
    A Hierarchy of Modal Logics with Relative Accessibility Relations.Philippe Balbiani & Ewa Orlowska - 1999 - 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)  
     
    Export citation  
     
    My bibliography   2 citations  
  16.  13
    Foreword.Philippe Balbiani - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):317-318.
  17.  4
    Dynamic Logics of the Region-Based Theory of Discrete Spaces.Philippe Balbiani, Tinko Tinchev & Dimiter Vakarelov - 2007 - Journal of Applied Non-Classical Logics 17 (1):39-61.
  18.  9
    PDL with Intersection of Programs: A Complete Axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.
  19.  19
    Axiomatization and Completeness of Lexicographic Products of Modal Logics.Philippe Balbiani - 2011 - Journal of Applied Non-Classical Logics 21 (2):141-176.
  20.  21
    Modal Logics for Reasoning About Infinite Unions and Intersections of Binary Relations.Natasha Alechina, Philippe Balbiani & Dmitry Shkatov - 2012 - 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)  
     
    Export citation  
     
    My bibliography  
  21.  4
    Foreword.Philippe Balbiani, Luis Fariñas Del Cerro & Andreas Herzig - 2010 - Journal of Applied Non-Classical Logics 20 (3):138-138.
  22.  5
    Nonmonotonic Reasoning and Modal Logic, From Negation as Failure to Default Logic.Philippe Balbiani - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 223--231.
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  6
    Putting Right the Wording and the Proof of the Truth Lemma forAPAL.Philippe Balbiani - 2015 - Journal of Applied Non-Classical Logics 25 (1):2-19.
    is an extension of public announcement logic. It is based on a modal operator that expresses what is true after any arbitrary announcement. An incorrect Truth Lemma has been stated and ‘demonstrated’ in Balbiani et al. . In this paper, we put right the wording and the proof of the Truth Lemma for.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  24.  3
    Foreword.Philippe Balbiani, Hans van Ditmarsch & Jan van Eijck - 2009 - Journal of Applied Non-Classical Logics 19 (4):397-402.
  25.  3
    Foreword.Philippe Balbiani - 2005 - Journal of Applied Non-Classical Logics 15 (2):113-114.
  26.  2
    On the Consistency Problem for the INDU Calculus.Philippe Balbiani, Jean-François Condotta & Gérard Ligozat - 2006 - Journal of Applied Logic 4 (2):119-140.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  3
    Hyper Arrow Logic with Indiscernibility and Complementarity.Philippe Balbiani - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):137-152.
  28.  2
    Foreword.Philippe Balbiani & Tinko Tinchev - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):135-135.
  29.  1
    Deciding the Word Problem in Pure Double Boolean Algebras.Philippe Balbiani - 2012 - Journal of Applied Logic 10 (3):260-273.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  1
    Line-Based Affine Reasoning in Euclidean Plane.Philippe Balbiani & Tinko Tinchev - 2007 - Journal of Applied Logic 5 (3):421-434.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  2
    Deciding the Bisimilarity Relation Between Datalog Goals.Philippe Balbiani & Antoun Yaacoub - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 67--79.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  32. Reasoning About Negligibility and Proximity in the Set of All Hyperreals.Philippe Balbiani - 2016 - Journal of Applied Logic 16:14-36.
  33. Reasoning About Vague Concepts in the Theory of Property Systems.Philippe Balbiani - 2004 - Logique Et Analyse 47:445.
     
    Export citation  
     
    My bibliography