Switch to: References

Add citations

You must login to add citations.
  1. Sahlqvist Correspondence for Modal Mu-Calculus.Johan van Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Towards Incorporating Background Theories Into Quantifier Elimination.Andrzej Szalas - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):325-340.
    In the paper we present a technique for eliminating quantifiers of arbitrary order, in particular of first-order. Such a uniform treatment of the elimination problem has been problematic up to now, since techniques for eliminating first-order quantifiers do not scale up to higher-order contexts and those for eliminating higher-order quantifiers are usually based on a form of monotonicity w.r.t implication and are not applicable to the first-order case. We make a shift to arbitrary relations “ordering” the underlying universe. This allows (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Bounded Proof Property Via Step Algebras and Step Frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Modal Definability of First-Order Formulas with Free Variables and Query Answering.Stanislav Kikot & Evgeny Zolin - 2013 - Journal of Applied Logic 11 (2):190-216.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Algorithmic Correspondence and Completeness in Modal Logic. V. Recursive Extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.
    The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Ackermann Approach for Modal Logic, Correspondence Theory and Second-Order Reduction.Renate A. Schmidt - 2012 - Journal of Applied Logic 10 (1):52-74.
    Download  
     
    Export citation  
     
    Bookmark  
  • Modal and Temporal Extensions of Non-Distributive Propositional Logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 24 (2):156-185.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Algorithmic Correspondence and Canonicity for Distributive Modal Logic.Willem Conradie & Alessandra Palmigiano - 2012 - Annals of Pure and Applied Logic 163 (3):338-376.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • On the Strength and Scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.
    We provide syntactic necessary and sufficient conditions on the formulae reducible by the second-order quantifier elimination algorithm DLS. It is shown that DLS is compete for all modal Sahlqvist and Inductive formulae, and that all modal formulae in a single propositional variable on which DLS succeeds are canonical.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Sahlqvist Theorem for Substructural Logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.
    In this paper, we establish the first-order definability of sequents with consistent variable occurrence on bi-approximation semantics by means of the Sahlqvist–van Benthem algorithm. Then together with the canonicity results in Suzuki (2011), this allows us to establish a Sahlqvist theorem for substructural logic. Our result is not limited to substructural logic but is also easily applicable to other lattice-based logics.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Logic of Transitive and Dense Frames: From the Step-Frame Analysis to Full Cut-Elimination.S. Ghilardi & G. Mints - 2014 - Logic Journal of the IGPL 22 (4):585-596.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Canonicity Results of Substructural and Lattice-Based Logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.
    In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Technical Modal Logic.Marcus Kracht - 2011 - Philosophy Compass 6 (5):350-359.
    Download  
     
    Export citation  
     
    Bookmark   1 citation