Order:
Disambiguations
Tim French [21]T. French [4]Thomas M. French [2]T. W. French [1]
Todd French [1]
See also
  1.  24
    The Undecidability of Quantified Announcements.T. Ågotnes, H. van Ditmarsch & T. French - 2016 - Studia Logica 104 (4):597-640.
    This paper demonstrates the undecidability of a number of logics with quantification over public announcements: arbitrary public announcement logic, group announcement logic, and coalition announcement logic. In APAL we consider the informative consequences of any announcement, in GAL we consider the informative consequences of a group of agents all of which are simultaneously making known announcements. So this is more restrictive than APAL. Finally, CAL is as GAL except that we now quantify over anything the agents not in that group (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  14
    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   6 citations  
  3.  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   1 citation  
  4.  5
    The Undecidability of Quantified Announcements.T. French, H. Ditmarsch & T. Ågotnes - 2016 - Studia Logica 104 (4):597-640.
    This paper demonstrates the undecidability of a number of logics with quantification over public announcements: arbitrary public announcement logic, group announcement logic, and coalition announcement logic. In APAL we consider the informative consequences of any announcement, in GAL we consider the informative consequences of a group of agents all of which are simultaneously making known announcements. So this is more restrictive than APAL. Finally, CAL is as GAL except that we now quantify over anything the agents not in that group (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 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   1 citation  
  6. Psychothérapie analytique. Principes et applications.Franz Alexander & Thomas M. French - 1959 - Les Etudes Philosophiques 14 (3):351-351.
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Augustine and Social Justice.Mary T. Clark, Aaron Conley, María Teresa Dávila, Mark Doorley, Todd French, J. Burton Fulmer, Jennifer Herdt, Rodolfo Hernandez-Diaz, John Kiess, Matthew J. Pereira, Siobhan Nash-Marshall, Edmund N. Santurri, George Schmidt, Sarah Stewart-Kroeker, Sergey Trostyanskiy, Darlene Weaver & William Werpehowski - 2015 - Lexington Books.
    This volume examines some of the most contentious social justice issues present in the corpus of Augustine's writings. Whether one is concerned with human trafficking and the contemporary slave trade, the global economy, or endless wars, these essays further the conversation on social justice as informed by the writings of Augustine of Hippo.
     
    Export citation  
     
    Bookmark  
  8.  17
    Μ-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  
  9.  8
    Archaeology in the Dodecanese, 1939–46.T. W. French - 1945 - Journal of Hellenic Studies 65:101-104.
  10. 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   4 citations  
  11.  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  
  12. On the Succinctness of Some Modal Logics.Tim French, Wiebe van der Hoek, Petar Iliev & Barteld Kooi - 2013 - Artificial Intelligence 197:56-85.
  13.  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  
  14. 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  
  15.  10
    The Integrative Process1.Thomas M. French - 1951 - Dialectica 5 (3‐4):246-256.
    RésuméLe Dr French résume ici très briévement les idées développées dans un ouvrage qu'il publiera prochainement sous le titre Intégration of behavior . – Le comportement comprend deux aspects essentiels que ľon peut désigner des termes de motivation et compréhension intelligente {insight). Cette dernière àété admirablement analľsée par ľécole gestaltiste , qui à cependant eu le tort de la présenter comme de soi consciente. Or, il ľà des insights inconscients, áľœuvre par exemple dans ľacquisition des réflexes conditionnels, des habiletés motrices (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  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  
  17.  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  
  18. 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  
  19.  1
    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  
  20.  22
    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