Switch to: References

Citations of:

S5 and the predicate calculus

Logique Et Analyse 25 (99):321 (1982)

Add citations

You must login to add citations.
  1. Notational Variance and Its Variants.Rohan French - 2019 - Topoi 38 (2):321-331.
    What does it take for two logics to be mere notational variants? The present paper proposes a variety of different ways of cashing out notational variance, in particular isolating a constraint on any reasonable account of notational variance which makes plausible that the only kinds of translations which can witness notational variance are what are sometimes called definitional translations.
    Download  
     
    Export citation  
     
    Bookmark   9 citations