25 found
Order:
  1.  19
    Reducibility orderings: Theories, definability and automorphisms.Anil Nerode & Richard A. Shore - 1980 - Annals of Mathematical Logic 18 (1):61-89.
  2.  14
    Combinatorial Functors.J. N. Crossley & Anil Nerode - 1977 - Journal of Symbolic Logic 42 (4):586-587.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  3.  14
    A survey of lattices of re substructures.Anil Nerode & Jeffrey Remmel - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion theory. Providence, R.I.: American Mathematical Society. pp. 42--323.
  4.  34
    Recursion theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - Providence, R.I.: American Mathematical Society.
    iterations of REA operators, as well as extensions, generalizations and other applications are given in [6] while those for the ...
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  29
    Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
    We initiate the study of computable model theory of modal logic, by proving effective completeness theorems for a variety of first-order modal logics. We formulate a natural definition of a decidable Kripke model, and show how to construct such a decidable Kripke model of a given decidable theory. Our construction is inspired by the effective Henkin construction for classical logic. The Henkin construction, however, depends in an essential way on the Deduction Theorem. In its usual form the Deduction Theorem fails (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  17
    Tableaux for constructive concurrent dynamic logic.Duminda Wijesekera & Anil Nerode - 2005 - Annals of Pure and Applied Logic 135 (1-3):1-72.
    This is the first paper on constructive concurrent dynamic logic . For the first time, either for concurrent or sequential dynamic logic, we give a satisfactory treatment of what statements are forced to be true by partial information about the underlying computer. Dynamic logic was developed by Pratt [V. Pratt, Semantical considerations on Floyd–Hoare logic, in: 17th Annual IEEE Symp. on Found. Comp. Sci., New York, 1976, pp. 109–121, V. Pratt, Applications of modal logic to programming, Studia Logica 39 257–274] (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  46
    Decidable Kripke models of intuitionistic theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.
    In this paper we introduce effectiveness into model theory of intuitionistic logic. The main result shows that any computable theory T of intuitionistic predicate logic has a Kripke model with decidable forcing such that for any sentence φ, φ is forced in the model if and only if φ is intuitionistically deducible from T.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8. A universal embedding property of the RETs.Anil Nerode & Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (1):51-59.
  9.  32
    Effective content of the calculus of variations I: Semi-continuity and the chattering lemma.Xiaolin Ge & Anil Nerode - 1996 - Annals of Pure and Applied Logic 78 (1-3):127-146.
    The content of existence theorems in the calculus of variations has been explored and an effective treatment of semi-continuity has been achieved. An algorithm has been developed which captures the natural algorithmic content of the notion of a semi-continuous function and this is used to obtain an effective version of the “chattering lemma” of control theory and ordinary differential equations. This lemma reveals the main computational content of the theory of relaxed optimal control.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  15
    John Crossley: A life intellectual.Anil Nerode - 2023 - Logic Journal of the IGPL 31 (6):1023-1023.
    John Newcombe Crossley is a man of many talents, fortunate to have lived an eventful life. He is a mathematician, a logician, a historian of ancient mathematics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. LFCS 2013.Sergei Artemov & Anil Nerode (eds.) - 2013 - Springer.
     
    Export citation  
     
    Bookmark  
  12. Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734).Sergei Artemov & Anil Nerode (eds.) - 2013 - Springer.
     
    Export citation  
     
    Bookmark  
  13.  29
    Preface.Sergei Artemov & Anil Nerode - 2012 - Annals of Pure and Applied Logic 163 (7):743-744.
  14.  35
    Computing definite logic programs by partial instantiation.Vadim Kagan, Anil Nerode & V. S. Subrahmanian - 1994 - Annals of Pure and Applied Logic 67 (1-3):161-182.
    Query processing in ground definite deductive is known to correspond precisely to a linear programming problem. However, the “groundedness” requirement is a huge drawback to using linear programming techniques for logic program computations because the ground version of a logic program can be very large when compared to the original program. Furthermore, when we move from propositional logic programs to first-order logic programs, this effectively means that functions symbols may not occur in clauses. In this paper, we develop a theory (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  5
    Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).
    The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  11
    Preface.Yuri Matiyasevich & Anil Nerode - 1996 - Annals of Pure and Applied Logic 78 (1-3):1.
  17. An Appreciation of Kreisel.Anil Nerode - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 81.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  29
    In memoriam: Paul J. Cohen, 1934—2007.Anil Nerode - 2009 - Bulletin of Symbolic Logic 15 (4):439-440.
  19.  12
    Logic at Tver '92.Anil Nerode & M. Taitslin - 1993 - Journal of Symbolic Logic 58 (3):1150-1150.
  20.  17
    McNaughton games and extracting strategies for concurrent programs.Anil Nerode, Jeffrey B. Remmel & Alexander Yakhnis - 1996 - Annals of Pure and Applied Logic 78 (1-3):203-242.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  89
    (1 other version)Meeting of the association for symbolic logic.Anil Nerode & K. J. Barwise - 1973 - Journal of Symbolic Logic 38 (2):348-358.
  22.  20
    On the lattices of NP-subspaces of a polynomial time vector space over a finite field.Anil Nerode & J. B. Remmel - 1996 - Annals of Pure and Applied Logic 81 (1-3):125-170.
    In this paper, we study the lower semilattice of NP-subspaces of both the standard polynomial time representation and the tally polynomial time representation of a countably infinite dimensional vector space V∞ over a finite field F. We show that for both the standard and tally representation of V∞, there exists polynomial time subspaces U and W such that U + V is not recursive. We also study the NP analogues of simple and maximal subspaces. We show that the existence of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  12
    Preface.Anil Nerode - 2004 - Annals of Pure and Applied Logic 126 (1-3):1-2.
  24.  54
    The life and work of Sergei Artemov.Anil Nerode & Melvin Fitting - 2014 - Annals of Pure and Applied Logic 165 (1):3-5.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25.  40
    Nonmonotonic rule systems with recursive sets of restraints.V. Wiktor Marek, Anil Nerode & Jeffrey B. Remmel - 1997 - Archive for Mathematical Logic 36 (4-5):339-384.