Did you mean: Bilks, Marta
  1. Marta Bílková, Dick de Jongh & Joost J. Joosten (2009). Interpretability In. Annals of Pure and Applied Logic 161 (2):128-138.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Marta Bílková (2007). Uniform Interpolation and Propositional Quantifiers in Modal Logics. Studia Logica 85 (1):1 - 31.
    We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view. Our approach is adopted from Pitts’ proof of uniform interpolationin intuitionistic propositional logic [15]. The method is based on a simulation of certain quantifiers ranging over propositional variables and uses a terminating sequent calculus for which structural rules are admissible.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation