17 found
Order:
See also
  1.  5
    Positive Announcements.Hans van Ditmarsch, Tim French & James Hales - 2021 - Studia Logica 109 (3):639-681.
    Arbitrary public announcement logic ) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement logic called positive arbitrary public announcement logic ), which restricts arbitrary public announcements to announcement of positive formulas. Positive formulas prohibit statements about the ignorance of agents. The positive formulas correspond to the universal fragment in first-order logic. As two successive announcements of positive formulas (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  2. On the Succinctness of Some Modal Logics.Tim French, Wiebe van der Hoek, Petar Iliev & Barteld Kooi - 2013 - Artificial Intelligence 197:56-85.
  3.  16
    Succinctness of Epistemic Languages.Barteld Kooi, Wiebe van der Hoek, Petar Iliev & Tim French - unknown
    Tim French, Wiebe van der Hoek, Petar Iliev and Barteld Kooi. Succinctness of Epistemic Languages. In: T. Walsh (editor). Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11), pp. 881-886, AAAI Press, Menlo Park.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  3
    Undecidablity for Arbitrary Public Announcement Logic.Tim French & Hans van Dirmarsch - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 23-42.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  10
    A Sound and Complete Proof System for QPTL.Tim French & Mark Reynolds - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 127-147.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  5
    Bisimulation Quantified Modal Logics: Decidability.Tim French - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 147-166.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  7.  2
    Refinement Quantified Logics of Knowledge and Belief for Multiple Agents.James Hales, Tim French & Rowan Davies - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 317-338.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  24
    Semantics for Knowledge and Change of Awareness.Hans van Ditmarsch & Tim French - 2014 - Journal of Logic, Language and Information 23 (2):169-195.
    We examine various logics that combine knowledge, awareness, and change of awareness. An agent can become aware of propositional propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. Our proposals are based on a novel notion of structural similarity that we call awareness bisimulation, the obvious notion of modal similarity for structures encoding knowledge and awareness.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. A Sound and Complete Proof System for QPTL.Tim French & Mark Reynolds - 2003 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 127-147.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Synthesis for Temporal Logic Over the Reals.Tim French, John McCabe-Dansted & Mark Reynolds - 2012 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 217-238.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Future Event Logic- Axioms and Complexity.Hans van Ditmarsch, Tim French & Sophie Pinchinate - 2010 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 77-99.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  18
    Μ-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics ★.Giovanna D'Agostino, Giacomo Lenzi & Tim French - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):297-309.
    We consider the relation between the uniform interpolation property and the elimination of non-standard quantifiers (the bisimulation quantifiers) in the context of the ?-calculus. In particular, we isolate classes of frames where the correspondence between these two properties is nicely smooth.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  14
    Indiscrete Models: Model Building and Model Checking Over Linear Time.Tim French, John McCabe-Dansted & Mark Reynolds - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 50--68.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  13
    Expressiveness and Succinctness of a Logic of Robustness.John C. McCabe-Dansted, Tim French, Sophie Pinchinat & Mark Reynolds - 2015 - Journal of Applied Non-Classical Logics 25 (3):193-228.
    This paper compares the recently proposed Robust Full Computational Tree Logic to model robustness in concurrent systems with other computational tree logic -based logics. RoCTL* extends CTL* with the addition of the operators Obligatory and Robustly, which quantify over failure-free paths and paths with one more failure respectively. This paper focuses on examining the succinctness and expressiveness of RoCTL* by presenting translations to and from RoCTL*. The core result of this paper is to show that RoCTL* is expressively equivalent to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  3
    Future Event Logic- Axioms and Complexity.Hans van Ditmarsch, Tim French & Sophie Pinchinate - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 77-99.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  6
    Synthesis for Temporal Logic Over the Reals.Tim French, John McCabe-Dansted & Mark Reynolds - 2012 - In Thomas Bolander, Torben Braüner, Giampaolo Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 217-238.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  2
    Implicit, Explicit and Speculative Knowledge.Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada & Yì N. Wáng - 2018 - Artificial Intelligence 256:35-67.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark