Switch to: References

Add citations

You must login to add citations.
  1. Štyri antické argumenty o budúcich nahodnostiach (Four Ancient Arguments on Future Contingencies).Vladimir Marko - 2017 - Bratislava, Slovakia: Univerzita Komenského.
    Essays on Aristotle's Sea-Battle, Lazy Argument, Argument Reaper, Diodorus' Master Argument -/- The book is devoted to the ancient logical theories, reconstruction of their semantic proprieties and possibilities of their interpretation by modern logical tools. The Ancient arguments are frequently misunderstood in modern interpretations since authors usually have tendency to ignore their historical proprieties and theoretical background what usually leads to a quite inappropriate picture of the argument’s original form and mission. Author’s primary intention was to draw attention to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
    This article surveys some of the key issues that arise when one tries to use tense logic as a metaphysical theory of the nature of time. Topics discussed include basic tense logic, tense logic and verb tense, the structure of the time series, instants of time, quantified tense logic, and the expressive resources of tense logic.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Discrete linear temporal logic with current time point clusters, deciding algorithms.V. Rybakov - 2008 - Logic and Logical Philosophy 17 (1-2):143-161.
    The paper studies the logic TL(NBox+-wC) – logic of discrete linear time with current time point clusters. Its language uses modalities Diamond+ (possible in future) and Diamond- (possible in past) and special temporal operations, – Box+w (weakly necessary in future) and Box-w (weakly necessary in past). We proceed by developing an algorithm recognizing theorems of TL(NBox+-wC), so we prove that TL(NBox+-wC) is decidable. The algorithm is based on reduction of formulas to inference rules and converting the rules in special reduced (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Formal Properties of 'Now'.Hans Kamp - 1971 - Theoria 37 (3):227-273.
    Download  
     
    Export citation  
     
    Bookmark   155 citations  
  • Model theory for tense logic: Saturated and special models with applications to the tense hierarchy.Hirokazu Nishimura - 1981 - Studia Logica 40 (2):89 - 98.
    The aims of this paper are: (1) to present tense-logical versions of such classical notions as saturated and special models; (2) to establish several fundamental existence theorems about these notions; (3) to apply these powerful techniques to tense complexity.In this paper we are concerned exclusively with quantifiedK 1 (for linear time) with constant domain. Our present research owes much to Bowen [2], Fine [5] and Gabbay [6].
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
    Download  
     
    Export citation  
     
    Bookmark   343 citations  
  • (1 other version)To the memory of Arthur Prior Formal properties of ‘now’.Hans Kamp - 1971 - Theoria 37 (3):227-273.
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Modal Logics That Need Very Large Frames.Marcus Kracht - 1999 - Notre Dame Journal of Formal Logic 40 (2):141-173.
    The Kuznetsov-Index of a modal logic is the least cardinal such that any consistent formula has a Kripke-model of size if it has a Kripke-model at all. The Kuznetsov-Spectrum is the set of all Kuznetsov-Indices of modal logics with countably many operators. It has been shown by Thomason that there are tense logics with Kuznetsov-Index . Futhermore, Chagrov has constructed an extension of K4 with Kuznetsov-Index . We will show here that for each countable ordinal there are logics with Kuznetsov-Index (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Tense systems with discrete moments of time, part I.Dov M. Gabbay - 1972 - Journal of Philosophical Logic 1 (1):35 - 44.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Modal logics with linear alternative relations.Krister Segerberg - 1970 - Theoria 36 (3):301-322.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Model theory for tense logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (1):185.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Decidability results in non-classical logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (3):237-295.
    Download  
     
    Export citation  
     
    Bookmark   10 citations