52 found
Order:
  1.  93
    '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 (8 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  2.  74
    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 (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  3.  12
    Unification in Epistemic Logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.
    Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  26
    Group Announcement Logic.Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban - 2010 - Journal of Applied Logic 8 (1):62-81.
  5.  16
    KD is Nullary.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):196-205.
    In the ordinary modal language, KD is the modal logic determined by the class of all serial frames. In this paper, we demonstrate that KD is nullary.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  5
    Remarks About the Unification Type of Several Non-Symmetric Non-Transitive Modal Logics.Philippe Balbiani - 2019 - Logic Journal of the IGPL 27 (5):639-658.
    The problem of unification in a normal modal logic $L$ can be defined as follows: given a formula $\varphi$, determine whether there exists a substitution $\sigma$ such that $\sigma $ is in $L$. In this paper, we prove that for several non-symmetric non-transitive modal logics, there exists unifiable formulas that possess no minimal complete set of unifiers.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  12
    The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.Philippe Balbiani, David Fernández-Duque & Emiliano Lorini - 2019 - Studia Logica 107 (3):457-488.
    The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms in the logic highlighting the relationship between the two concepts. Mental (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  70
    Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.
    We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  17
    Putting Right the Wording and the Proof of the Truth Lemma for APAL.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  
     
    Bookmark   2 citations  
  10.  54
    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  
     
    Bookmark   6 citations  
  11.  3
    Reasoning About Negligibility and Proximity in the Set of All Hyperreals.Philippe Balbiani - 2016 - Journal of Applied Logic 16:14-36.
  12.  15
    Propositional Dynamic Logic.Philippe Balbiani - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  61
    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.
    ABSTRACT We consider the question of the complete axiomatization of a relative modal logic with composition and intersection.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  11
    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.
    The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discrete spaces. These modal logics are linguistic restrictions of propositional dynamic logic with the global diamond E. Their formulas are equivalent to Boolean combinations of modal formulas like E where A and B are Boolean terms and α is a relational term. Examining what we can say about dynamic models (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  2
    Every World Can See a Sahlqvist World.Philippe Balbiani, I. Shapirovsky & V. Shshtman - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 69-85.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  23
    PDL with Intersection of Programs: A Complete Axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.
    One of the important extensions of PDL is PDL with intersection of programs. We devote this paper to its complete axiomatization.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  1
    Every World Can See a Sahlqvist World.Philippe Balbiani, I. Shapirovsky & V. Shshtman - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 69-85.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  14
    Foreword.Philippe Balbiani - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):317-318.
  19.  1
    Unification in Modal Logic Alt1.Philippe Balbiani & Tinko Tinchev - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 117-134.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  35
    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.
    This paper is devoted to the completeness issue of RMLCI — the relative modal logic with composition and intersection— a restriction of the propositional dynamic logic with intersection. The trouble with RMLCI is that the operation of intersection is not modally definable. Using the notion of mosaics, we give a new proof of a theorem considered in a previous paper “Complete axiomatization of a relative modal logic with composition and intersection”. The theorem asserts that the proof theory of RMLCI is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  6
    Line-Based Affine Reasoning in Euclidean Plane.Philippe Balbiani & Tinko Tinchev - 2007 - Journal of Applied Logic 5 (3):421-434.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  27
    Axiomatization and Completeness of Lexicographic Products of Modal Logics.Philippe Balbiani - 2011 - Journal of Applied Non-Classical Logics 21 (2):141-176.
    This paper sets out a new way of combining Kripke-complete modal logics: lexicographic product. It discusses some basic properties of the lexicographic product construction and proves axiomatization/completeness results.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  15
    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  
     
    Bookmark   2 citations  
  24.  5
    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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  8
    Inequality Without Irreflexivity.Philippe Balbiani - 1999 - Journal of Applied Non-Classical Logics 9 (4):523-534.
    ABSTRACT This paper presents the axioinatization—without the rule of irreflexivity—of the modal logic of inequality as well as a method for proving its completeness. This method uses the technics of the frame of subordination.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  12
    A Translation From the Modal Logic of Provability Into K4.Philippe Balbiani & Andreas Herzig - 1994 - Journal of Applied Non-Classical Logics 4 (1):73-77.
  27.  6
    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.
    ABSTRACT We consider the question of the complete axiomatization of a relative modal logic with composition and intersection.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  50
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  4
    An Expressive Two-Sorted Spatial Logic for Plane Projective Geometry.Philippe Balbiani - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 49-68.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  1
    An Expressive Two-Sorted Spatial Logic for Plane Projective Geometry.Philippe Balbiani - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 49-68.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  2
    About Intuitionistic Public Announcement Logic.Philippe Balbiani & Didier Galmiche - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 97-116.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  67
    A Relational Model of Movement.Philippe Balbiani & Fariñas del Cerro - forthcoming - Logique Et Analyse.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  6
    Axiomatizing the Lexicographic Products of Modal Logics with Linear Temporal Logics.Philippe Balbiani & David Fernández-Duque - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 78-96.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  8
    About the Unification Type of Modal Logics Between.Philippe Balbiani & Çiğdem Gencer - 2020 - Studia Logica 108 (5):941-966.
    The unification problem in a normal modal logic is to determine, given a formula.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  2
    Before Announcement.Philippe Balbiani, Hans van Ditmarsch & Andreas Herzig - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 58-77.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Definability and Computability for PRSPDL.Philippe Balbiani & Tinko Tinchev - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 16-33.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  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  
     
    Bookmark  
  38.  3
    Deciding the Word Problem in Pure Double Boolean Algebras.Philippe Balbiani - 2012 - Journal of Applied Logic 10 (3):260-273.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  18
    Foreword.Philippe Balbiani, Luis Fariñas Del Cerro & Andreas Herzig - 2010 - Journal of Applied Non-Classical Logics 20 (3):138-138.
  40.  8
    Foreword.Philippe Balbiani, Hans van Ditmarsch & Jan van Eijck - 2009 - Journal of Applied Non-Classical Logics 19 (4):397-402.
  41.  9
    Foreword.Philippe Balbiani & Tinko Tinchev - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):135-135.
  42.  8
    Foreword.Philippe Balbiani - 2005 - Journal of Applied Non-Classical Logics 15 (2):113-114.
  43.  12
    Hyper Arrow Logic with Indiscernibility and Complementarity.Philippe Balbiani - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):137-152.
    In this paper, we study indiscernibility relations and complementarity relations in hyper arrow structures. A first-order characterization of indiscernibility and complementarity is obtained through a duality result between hyper arrow structures and certain structures of relational type characterized by first-order conditions. A modal analysis of indiscernibility and complementarity is performed through a modal logic which modalities correspond to indiscernibility relations and complementarity relations in hyper arrow structures.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  7
    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  
     
    Bookmark  
  45.  5
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Reasoning About Vague Concepts in the Theory of Property Systems.Philippe Balbiani - 2004 - Logique Et Analyse 47:445.
     
    Export citation  
     
    Bookmark  
  47.  1
    Relational Representation Theorems for Extended Contact Algebras.Philippe Balbiani & Tatyana Ivanova - forthcoming - Studia Logica:1-23.
    In topological spaces, the relation of extended contact is a ternary relation that holds between regular closed subsets A, B and D if the intersection of A and B is included in D. The algebraic counterpart of this mereotopological relation is the notion of extended contact algebra which is a Boolean algebra extended with a ternary relation. In this paper, we are interested in the relational representation theory for extended contact algebras. In this respect, we study the correspondences between point-free (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  2
    Sahlqvist Theorems for Precontact Logics.Philippe Balbiani & Stanislav Kikot - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic. CSLI Publications. pp. 55-70.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  4
    Two Decision Problems in Contact Logics.Philippe Balbiani, Çiğdem Gencer & Zafer Özdemir - 2019 - Logic Journal of the IGPL 27 (1):8-32.
    Contact Logics provide a natural framework for representing and reasoning about regions in several areas of computer science. In this paper, we focus our attention on reasoning methods for Contact Logics and address the satisfiability problem and the unifiability problem. Firstly, we give sound and complete tableaux-based decision procedures in Contact Logics and we obtain new results about the decidability/complexity of the satisfiability problem in these logics. Secondly, we address the computability of the unifiability problem in Contact Logics and we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Terminological Modal Logic.Philippe Balbiani - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1. CSLI Publications. pp. 23-39.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 52