Switch to: References

Add citations

You must login to add citations.
  1. Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.
    This paper is a survey of results concerning embeddings of intuitionistic propositional logic and its extensions into various classical modal systems.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Tabularity and Post-Completeness in Tense Logic.Qian Chen & M. A. Minghui - 2024 - Review of Symbolic Logic 17 (2):475-492.
    A new characterization of tabularity in tense logic is established, namely, a tense logic L is tabular if and only if $\mathsf {tab}_n^T\in L$ for some $n\geq 1$. Two characterization theorems for the Post-completeness in tabular tense logics are given. Furthermore, a characterization of the Post-completeness in the lattice of all tense logics is established. Post numbers of some tense logics are shown.
    Download  
     
    Export citation  
     
    Bookmark  
  • Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants.Rohan French - 2012 - Notre Dame Journal of Formal Logic 53 (4):549-556.
    We show that there are denumerably many Post-complete normal modal logics in the language which includes an additional propositional constant. This contrasts with the case when there is no such constant present, for which it is well known that there are only two such logics.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses.Timothy Williamson - 1998 - Notre Dame Journal of Formal Logic 39 (1):128-134.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Post complete and 0-axiomatizable modal logics.Fabio Bellissima - 1990 - Annals of Pure and Applied Logic 47 (2):121-144.
    Download  
     
    Export citation  
     
    Bookmark   2 citations