Introduction to computability logic

2003/07/16 by Giorgi Japaridze · 7 citations
Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · doi:10.1016/s0168-0072(03)00023-x

openalex publication_date 2003/07/16 · crossref created 2003/07/16 · crossref issued 2003/10/01 · crossref published 2003/10/01 · crossref published-print 2003/10/01 · crossref deposited 2020/03/24 · openalex created_date 2025/10/10 · crossref indexed 2026/02/20 · openalex updated_date 2026/04/05

Citations

• Questions and answers -- a category arising in linear logic, complexity theory, and set theory
• Artificial intelligence: a modern approach
• On Numbers and Games
• Linear logic

Cited by

• Introduction to Cirquent Calculus and Abstract Resource Semantics
• The taming of recurrences in computability logic through cirquent calculus, Part I
• The intuitionistic fragment of computability logic at the propositional level
• In the beginning was game semantics
• Introduction to clarithmetic I
• The Scope of Gödel’s First Incompleteness Theorem
• Computability logic [wikipedia]