Switch to: References

Add citations

You must login to add citations.
  1. Bilateralism, collapsing modalities, and the logic of assertion and denial.Nils Kürbis - forthcoming - Theoria.
    Rumfitt has given two arguments that in unilateralist verificationist theories of meaning, truth collapses into correct assertibility. In the present paper I give similar arguments that show that in unilateral falsificationist theories of meaning, falsehood collapses into correct deniability. According to bilateralism, meanings are determined by assertion and denial conditions, so the question arises whether it succumbs to similar arguments. I show that this is not the case. The final section considers the question whether a principle central to Rumfitt's first (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Epistemologische betrachtungen zu [S4, S5].Wolfgang Lenzen - 1979 - Erkenntnis 14 (1):33-56.
    The numerous modal systems between S4 and S5 are investigated from an epistemological point of view by interpreting necessity either as knowledge or as (strong) belief. It is shown that-granted some assumptions about epistemic logic for which the author has argued elsewhere-the system S4.4 may be interpreted as the logic of true belief, while S4.3.2 and S4.2 may be taken to represent epistemic logic systems for individuals who accept the scheme knowledge = true belief only for certain special instances. There (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • Beschränkte und Unbeschränkte Reduktion von Konjunktionen von Modalitäten in S4.Wolfgang Lenzen - 1980 - Mathematical Logic Quarterly 26 (7‐9):131-143.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Beschränkte und Unbeschränkte Reduktion von Konjunktionen von Modalitäten in S4.Wolfgang Lenzen - 1980 - Mathematical Logic Quarterly 26 (7-9):131-143.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Decidability results in non-classical logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (3):237-295.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • A Second Pretabular Classical Relevance Logic.Asadollah Fallahi - 2018 - Studia Logica 106 (1):191-214.
    Pretabular logics are those that lack finite characteristic matrices, although all of their normal proper extensions do have some finite characteristic matrix. Although for Anderson and Belnap’s relevance logic R, there exists an uncountable set of pretabular extensions :1249–1270, 2008), for the classical relevance logic \\rightarrow B\}\) there has been known so far a pretabular extension: \. In Section 1 of this paper, we introduce some history of pretabularity and some relevance logics and their algebras. In Section 2, we introduce (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Dugundji’s Theorem Revisited.Marcelo E. Coniglio & Newton M. Peron - 2014 - Logica Universalis 8 (3-4):407-422.
    In 1940 Dugundji proved that no system between S1 and S5 can be characterized by finite matrices. Dugundji’s result forced the development of alternative semantics, in particular Kripke’s relational semantics. The success of this semantics allowed the creation of a huge family of modal systems. With few adaptations, this semantics can characterize almost the totality of the modal systems developed in the last five decades. This semantics however has some limits. Two results of incompleteness showed that not every modal logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Meeting of the association for symbolic logic: Chicago, 1985.Andreas Blass, Louise Hay & Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (2):507-510.
  • Meeting of the Association for Symbolic Logic, Chicago, 1985.Andreas Blass, Louise Hay & Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (2):507-510.