24 found
Order:
Disambiguations
Mark Reynolds [23]Mark A. Reynolds [1]
  1.  42
    Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
    This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference (...)
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  2.  30
    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   12 citations  
  3.  51
    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   11 citations  
  4.  61
    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 (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  26
    An Axiomatization of Prior's Ockhamist Logic of Historical Necessity.Mark Reynolds - 1998 - 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   8 citations  
  6.  56
    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.  92
    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   6 citations  
  8.  8
    An Axiomatization of Prior's Ockhamist Logic of Historical Necessity.Mark Reynolds - 1998 - 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  
  9.  4
    A Sound and Complete Proof System for QPTL.Tim French & Mark Reynolds - 1998 - 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  
  10.  8
    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.  30
    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.
  12.  16
    A Sound and Complete Proof System for QPTL.Tim French & Mark Reynolds - 1998 - 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   1 citation  
  13.  19
    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.
  14.  11
    Synthesis for Temporal Logic over the Reals.Tim French, John McCabe-Dansted & Mark Reynolds - 1998 - 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  
  15.  4
    Synthesis for Temporal Logic over the Reals.Tim French, John McCabe-Dansted & Mark Reynolds - 1998 - 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  
  16. 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  
  17.  21
    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  
  18.  22
    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  
  19.  15
    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.  12
    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  
  21.  8
    Editors' introduction.Mark Reynolds & Abdul Sattar - 2006 - Journal of Applied Logic 4 (2):117-118.
  22.  28
    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  
  23.  6
    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.
    Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. Written by leading experts in the field, the present book is indispensable (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  17
    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