Switch to: References

Add citations

You must login to add citations.
  1. Feferman–Vaught Decompositions for Prefix Classes of First Order Logic.Abhisekh Sankaran - 2023 - Journal of Logic, Language and Information 32 (1):147-174.
    The Feferman–Vaught theorem provides a way of evaluating a first order sentence \(\varphi \) on a disjoint union of structures by producing a decomposition of \(\varphi \) into sentences which can be evaluated on the individual structures and the results of these evaluations combined using a propositional formula. This decomposition can in general be non-elementarily larger than \(\varphi \). We introduce a “tree” generalization of the prenex normal form (PNF) for first order sentences, and show that for an input sentence (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A generalization of the Łoś–Tarski preservation theorem.Abhisekh Sankaran, Bharat Adsul & Supratik Chakraborty - 2016 - Annals of Pure and Applied Logic 167 (3):189-210.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Bounded treewidth as a key to tractability of knowledge representation and reasoning.Georg Gottlob, Reinhard Pichler & Fang Wei - 2010 - Artificial Intelligence 174 (1):105-132.
  • Bounded fixed-parameter tractability and reducibility.Rod Downey, Jörg Flum, Martin Grohe & Mark Weyer - 2007 - Annals of Pure and Applied Logic 148 (1):1-19.
    We study a refined framework of parameterized complexity theory where the parameter dependence of fixed-parameter tractable algorithms is not arbitrary, but restricted by a function in some family . For every family of functions, this yields a notion of -fixed-parameter tractability. If is the class of all polynomially bounded functions, then -fixed-parameter tractability coincides with polynomial time decidability and if is the class of all computable functions, -fixed-parameter tractability coincides with the standard notion of fixed-parameter tractability. There are interesting choices (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • An optimal construction of Hanf sentences.Benedikt Bollig & Dietrich Kuske - 2012 - Journal of Applied Logic 10 (2):179-186.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark