Switch to: References

Add citations

You must login to add citations.
  1. Human Rationality Challenges Universal Logic.Brian R. Gaines - 2010 - Logica Universalis 4 (2):163-205.
    Tarski’s conceptual analysis of the notion of logical consequence is one of the pinnacles of the process of defining the metamathematical foundations of mathematics in the tradition of his predecessors Euclid, Frege, Russell and Hilbert, and his contemporaries Carnap, Gödel, Gentzen and Turing. However, he also notes that in defining the concept of consequence “efforts were made to adhere to the common usage of the language of every day life.” This paper addresses the issue of what relationship Tarski’s analysis, and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Modal Logics of Reactive Frames.Dov M. Gabbay & Sérgio Marcelino - 2009 - Studia Logica 93 (2-3):405-446.
    A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was first applied to Kripke semantics of modal logic in [2]. In this paper we strengthen that unimodal language by adding a second operator. One operator corresponds to the dynamics relation and the other one relates paths with the same endpoint. We explore the expressivity of this interpretation by (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Defeasible inheritance with doubt index and its axiomatic characterization.Erik Sandewall - 2010 - Artificial Intelligence 174 (18):1431-1459.
    Download  
     
    Export citation  
     
    Bookmark   3 citations