Switch to: References

Add citations

You must login to add citations.
  1. Uniform Interpolation for Monotone Modal Logic.Luigi Santocanales & Yde Venema - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 350-370.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Proof Systems for the Coalgebraic Cover Modality.Marta Bílková, Alessandra Palmigiano & Yde Venema - 2008 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 1-21.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Completeness of the Finitary Moss Logic.Clemens Kupke, Alexander Kurz & Yde Venema - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 193-217.
    Download  
     
    Export citation  
     
    Bookmark   2 citations