Switch to: References

Add citations

You must login to add citations.
  1. Existential Definability of Modal Frame Classes.Tin Perkov & Luka Mikec - 2020 - Mathematical Logic Quarterly 66 (3):316-325.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Some Characterization and Preservation Theorems in Modal Logic.Tin Perkov - 2012 - Annals of Pure and Applied Logic 163 (12):1928-1939.
    A class of Kripke models is modally definable if there is a set of modal formulas such that the class consists exactly of models on which every formula from that set is globally true. In this paper, a class is also considered definable if there is a set of formulas such that it consists exactly of models in which every formula from that set is satisfiable. The notion of modal definability is then generalized by combining these two. For thus obtained (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations