Switch to: References

Add citations

You must login to add citations.
  1. On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae.Petar Iliev - forthcoming - Logic Journal of the IGPL.
    We elaborate on semantically labelled syntax trees that provide a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of frames and use them to show that there are classes of Kripke frames that are definable by both non-Sahlqvist and Sahlqvist formulae, but the latter requires more propositional variables.
    Download  
     
    Export citation  
     
    Bookmark