24 found
Order:
Disambiguations
Mark Reynolds [23]Mark A. Reynolds [1]
  1.  14
    Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
    This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositionalquantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results.Much of the research presented here (...)
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  2.  59
    The Complexity of Temporal Logic Over the Reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
    It is shown that the decision problem for the temporal logic with until and since connectives over real-numbers time is PSPACE-complete. This is the most practically useful dense time temporal logic.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  44
    A Decidable Temporal Logic of Parallelism.Mark Reynolds - 1997 - Notre Dame Journal of Formal Logic 38 (3):419-436.
    In this paper we shall introduce a simple temporal logic suitable for reasoning about the temporal aspects of parallel universes, parallel processes, distributed systems, or multiple agents. We will use a variant of the mosaic method to prove decidability of this logic. We also show that the logic does not have the finite model property. This shows that the mosaic method is sometimes a stronger way of establishing decidability.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  20
    An Axiomatization for Until and Since Over the Reals Without the IRR Rule.Mark Reynolds - 1992 - Studia Logica 51 (2):165 - 193.
    We give a Hilbert style axiomatization for the set of formulas in the temporal language with Until and Since which are valid over the real number flow of time. The axiomatization, which is orthodox in the sense of only having the usual temporal rules of inference, is complete with respect to single formulas.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  19
    An Axiomatization of Prior's Ockhamist Logic of Historical Necessity.Mark Reynolds - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 355-370.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  54
    Axiomatisation and Decidability Off Andp in Cyclical Time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
    We present a Hilbert style axiomatisation for the set of formulas in the temporal language with F and P which are valid over non-transitive cyclical flows of time. We also give a simpler axiomatisation using the slightly controversial 'irreflexivity rule' and go on to prove the decidability of any temporal logic over cyclical time provided it uses only connectives with first-order tables.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  79
    Axiomatising First-Order Temporal Logic: Until and Since Over Linear Time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
    We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8. 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  
  9.  4
    An Axiomatization of Prior's Ockhamist Logic of Historical Necessity.Mark Reynolds - 2003 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 355-370.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  3
    A Tableau for Temporal Logic Over the Reals.Mark Reynolds - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 439-458.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. 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  
  12. Mosaics and Step-by-Step. Remarks on “A Modal Logic of Relations”.Robin Hirsch, Ian Hodkinson, Maarten Marx, Szabolsc Mikulás & Mark Reynolds - 1999 - In E. Orłowska (ed.), Logic at Work. Heidelberg.
     
    Export citation  
     
    Bookmark  
  13. Advances in Modal Logic, Volume 5: Papers From the Fifth Aiml Conference, Held in Manchester, 9-11 September 2004.Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing (eds.) - 2005 - London, England: King's College Publications.
  14.  12
    The Temporal Logic of Two Dimensional Minkowski Spacetime is Decidable.Robin Hirsch & Mark Reynolds - 2018 - Journal of Symbolic Logic 83 (3):829-867.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  20
    Metric Temporal Reasoning with Less Than Two Clocks.Mark Reynolds - 2010 - Journal of Applied Non-Classical Logics 20 (4):437-455.
    We introduce a new way of defining metric temporal logic on a real-numbers flow of time. The idea is based on having semantics which allow us to refer to a single universal clock of arbitrary precision in order to impose metric constraints. This gives us a new metric temporal logic which is very expressive, is natural to use, can be applied in very general situations, affords a wide range of useful abbreviations and operators, has a PSPACE decision procedure, and has (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  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  
  17.  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  
  18.  13
    D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics, Vol. 148. Elsevier, Amsterdam, Xiv + 747 Pp. [REVIEW]Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-79.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  7
    Rewrite Rules for CTL.John C. McCabe-Dansted & Mark Reynolds - 2017 - Journal of Applied Logic 21:24-56.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  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  
  21.  6
    Special Issue on Logics for Intelligent Agents and Multi-Agent Systems.Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds & Abdul Sattar - 2011 - Journal of Applied Logic 9 (4):221-222.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  9
    REVIEWS-Many-Dimensional Modal Logics: Theory and Applications.D. M. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev & Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-78.
  23.  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  
  24.  4
    Editors' Introduction.Mark Reynolds & Abdul Sattar - 2006 - Journal of Applied Logic 4 (2):117-118.