Switch to: References

Add citations

You must login to add citations.
  1. Strengthening Consistency Results in Modal Logic.Samuel Alexander & Arthur Paul Pedersen - 2023 - Tark.
    A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...)
    Download  
     
    Export citation  
     
    Bookmark