Provability logic - PDFSEARCH.IO - Document Search Engine

Provability logic
Results: 16

#	Item
1	Turing jumps and Post observes The Turing jump interpretation of transfinite provability logic Hyper-arithmetic reflection Turing jumps again Joost J. Joosten Add to Reading List Source URL: wrm17.mi.ras.ru Language: English - Date: 2017-10-23 08:17:47
2	Properties of Intuitionistic Provability LogicsRosalie Iemhoff Dick de Jongh Chunlai Zhou Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:46:31 Modal logic Model theory Non-classical logic Philosophical logic Proof theory Normal modal logic First-order logic Propositional calculus Provability logic Mathematical logic Interpretation Modal companion
3	Topological Semantics for Provability Logics An Overview Thomas Icard Stanford University September 11, 2015 Add to Reading List Source URL: logic.berkeley.edu. Language: English - Date: 2015-09-11 13:59:50
4	Classical provability of uniform versions and intuitionistic provability Makoto Fujiwara∗ Mathematical Institute Tohoku University 6-3, Aramaki Aoba, Aoba-ku Sendai, Miyagi, Japan Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-08-17 07:52:06 Computability theory Proof theory Mathematical logic Logic Reverse mathematics Mathematics Philosophy of mathematics
5	On the topological interpretations of provability logic Lev Beklemishev Steklov Mathematical Institute, Moscow The Arend Heyting Day Add to Reading List Source URL: phil.uu.nl Language: English - Date: 2015-03-04 09:53:23
6	Topological Semantics for Provability Logics An Overview Thomas Icard Stanford University September 11, 2015 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-09-11 13:59:50
7	SERGEI N. ARTEMOV & LEV D. BEKLEMISHEV PROVABILITY LOGIC 1 INTRODUCTION The idea of provability logic seems to originate in a short paper [G¨odel, K. G¨odel was motivated by the question of providing Brouwer’ Add to Reading List Source URL: sartemov.ws.gc.cuny.edu Language: English - Date: 2014-01-11 09:20:02
8	Motivation and Framework Prisoner’s Dilemma with Source Code Reading Proof-Based Counterfactuals What’s Next? Decision Theory and the Logic of Provability Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-05-17 15:37:38
9	LWB 1.1 Reference Manual February 14, 1997 Contents 1 Introduction Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Non-classical logic Proof theory Modal logic Epistemology Provable Provability logic Default logic Function Mathematical logic Logic Mathematics
10	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Modal logic Proof theory Boolean algebra Functions and mappings Propositional calculus Provable Provability logic Function Default logic Mathematical logic Logic Mathematics