Switch to: Citations

References in:

Goldblatt-Thomason-style Theorems for Graded Modal Language

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 330-349 (1998)

Add references

You must login to add references.
  1. (1 other version)Introduction to logic and to the methodology of the deductive sciences.Alfred Tarski - 1963 - New York: Oxford University Press. Edited by Jan Tarski.
    Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • (1 other version)Introduction to logic and to the methodology of deductive sciences.Alfred Tarski - 1946 - New York: Dover Publications. Edited by Jan Tarski.
    This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • (1 other version)Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  • General canonical models for graded normal logics (graded modalities IV).C. Cerrato - 1990 - Studia Logica 49 (2):241 - 252.
    We prove the canonical models introduced in [D] do not exist for some graded normal logics with symmetric models, namelyKB°, KBD°, KBT°, so that we define a new kind of canonical models, the general ones, and show they exist and work well in every case.
    Download  
     
    Export citation  
     
    Bookmark   12 citations