5 found
Sort by:
See also:
Profile: Christopher Steinsvold (Brooklyn College)
  1. Christopher Steinsvold (2010). A Canonical Topological Model for Extensions of K. Studia Logica 94 (3):433 - 441.
    Interpreting the diamond of modal logic as the derivative, we present a topological canonical model for extensions of K4 and show completeness for various logics. We also show that if a logic is topologically canonical, then it is relationally canonical.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Christopher Steinsvold (2010). Being Wrong: Logics for False Belief. Notre Dame Journal of Formal Logic 52 (3):245-253.
    We introduce an operator to represent the simple notion of being wrong. Read Wp to mean: the agent is wrong about p . Being wrong about p means believing p though p is false. We add this operator to the language of propositional logic and study it. We introduce a canonical model for logics of being wrong, show completeness for the minimal logic of being wrong and various other systems. En route we examine the expressiveness of the language. In conclusion, (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Christopher Steinsvold (2008). A Grim Semantics for Logics of Belief. Journal of Philosophical Logic 37 (1):45 - 56.
    Patrick Grim has presented arguments supporting the intuition that any notion of a totality of truths is incoherent. We suggest a natural semantics for various logics of belief which reflect Grim’s intuition. The semantics is a topological semantics, and we suggest that the condition can be interpreted to reflect Grim’s intuition. Beyond this, we present a natural canonical topological model for K4 and KD4.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Christopher Steinsvold (2008). A Note on Logics of Ignorance and Borders. Notre Dame Journal of Formal Logic 49 (4):385-392.
    We present and show topological completeness for LB, the logic of the topological border. LB is also a logic of epistemic ignorance. Also, we present and show completeness for LUT, the logic of unknown truths. A simple topological completeness proof for S4 is also presented using a T1 space.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Christopher Steinsvold (2008). Completeness for Various Logics of Essence and Accident. Bulletin of the Section of Logic 37 (2):93-102.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation