Switch to: References

Add citations

You must login to add citations.
  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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.
    In [14], we studied the computational behaviour of various first-order and modal languages interpreted in metric or weaker distance spaces. [13] gave an axiomatisation of an expressive and decidable metric logic. The main result of this paper is in showing that the technique of representing metric spaces by means of Kripke frames can be extended to cover the modal (hybrid) language that is expressively complete over metric spaces for the (undecidable) two-variable fragment of first-order logic with binary pred-icates interpreting the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark