Switch to: Citations

Add references

You must login to add references.
  1. Directed frames.Giovanna Corsi & Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (1):53-67.
    Predicate extensions of the intermediate logic of the weak excluded middle and of the modal logic S4.2 are introduced and investigated. In particular it is shown that some of them are characterized by subclasses of the class of directed frames with either constant or nested domains.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • An introduction to modal logic: the Lemmon notes.E. J. Lemmon - 1977 - Oxford: Blackwell. Edited by Dana S. Scott.
    Download  
     
    Export citation  
     
    Bookmark   33 citations