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  
  • 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  
  • Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Cut-free sequent and tableau systems for propositional diodorean modal logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.
    We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Modal logics with linear alternative relations.Krister Segerberg - 1970 - Theoria 36 (3):301-322.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Arthur prior.B. Jack Copeland - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Analogues of Bull’s theorem for hybrid logic.Willem Conradie & Claudette Robinson - 2019 - Logic Journal of the IGPL 27 (3):281-313.
    Download  
     
    Export citation  
     
    Bookmark