Switch to: References

Citations of:

Modal model theory

In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 599--617 (1973)

Add citations

You must login to add citations.
  1. Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.Kentarô Yamamoto - 2020 - Studia Logica 109 (2):397-421.
    We investigate the role of coalgebraic predicate logic, a logic for neighborhood frames first proposed by Chang, in the study of monotonic modal logics. We prove analogues of the Goldblatt–Thomason theorem and Fine’s canonicity theorem for classes of monotonic neighborhood frames closed under elementary equivalence in coalgebraic predicate logic. The elementary equivalence here can be relativized to the classes of monotonic, quasi-filter, augmented quasi-filter, filter, or augmented filter neighborhood frames, respectively. The original, Kripke-semantic versions of the theorems follow as a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The worlds of fiction and the worlds of science: A comparative study.Veikko Rantala & Liselotte Wiesenthal - 1989 - Synthese 78 (1):53 - 86.
    Download  
     
    Export citation  
     
    Bookmark  
  • Two episodes in the unification of logic and topology.E. R. Grosholz - 1985 - British Journal for the Philosophy of Science 36 (2):147-157.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Logica Universalis: Towards a General Theory of Logic.Jean-Yves Béziau (ed.) - 2005 - Boston: Birkhäuser Basel.
    Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last (...)
    Download  
     
    Export citation  
     
    Bookmark