Home  Mathematical_Logic  Provability Logic 
Page 1 149 of 49 1 
1. Provability Logic (Stanford Encyclopedia Of Philosophy) Provability logic is a modal logic that is used to investigate what arithmetical theories can express in a restricted language about their Provability http://plato.stanford.edu/entries/logicprovability/  

2. Provability Logic  Wikipedia, The Free Encyclopedia Provability logic is a modal logic, in which the box (or necessity ) operator is interpreted as it is provable that . The point is to capture the notion http://en.wikipedia.org/wiki/Provability_logic  

3. On Provability Logic This is an introductory paper about Provability logic, a modal propositional logic in which necessity is interpreted as formal Provability. http://www.hf.uio.no/ifikk/filosofi/njpl/vol4no2/provlog/index.html  

4. Open Site  Science: Mathematics: Logic: Proof Theory: Provability Logic Provability logic, or the logic of Provability, is a modal logic where the modal necessity operator is interpreted as Provability in a reasonably rich http://opensite.org/Science/Mathematics/Logic/Proof_Theory/Provability_logic  

5. On Kripkestyle Semantics For The Provability Logic Of Godel's Proof Predicate W Kripkestyle semantics is suggested for the Provability logic with quantifiers on proofs corresponding to the standard GÃ¶del proof predicate. http://logcom.oxfordjournals.org/cgi/content/abstract/15/4/539  

6. Problems The Provability logic of Heyting arithmetic HA decidability, axiomatization. The Provability logic of bounded arithmetics S21 and S2 decidability, http://www.phil.uu.nl/~lev/problems.html  

7. JSTOR The Logic Of Provability. Many different interlaced logical cultures have participated in the remarkable advances of the past two decades in the area of Provability logic. http://links.jstor.org/sici?sici=00224812(199512)60:4<1316:TLOP>2.0.CO;27 
8. Common Knowledge And Common Rationality Through Provability Logic Author(s) C. Benassi P. Gentilini. 1999 Abstract No abstract is available for this item. http://ideas.repec.org/p/bol/bodewp/350.html  

9. Boolos Bibliography On systems of modal logic with Provability interpretations. Theoria 46 (1980) 718. On notions of Provability in Provability logic. http://web.mit.edu/philos/www/facultybibs/boolos_bib.html  

10. Provability Logic With Operations On Proofs Provability logic with Operations on Proofs. Source, Lecture Notes In Computer Science; Vol. 1234 archive Proceedings of the 4th International Symposium on http://portal.acm.org/citation.cfm?id=664430 
11. IngentaConnect Properties Of Intuitionistic Provability And Preservativity Logic We study the modal properties of intuitionistic modal logics that belong to the Provability logic or the preservativity logic of Heyting Arithmetic. http://www.ingentaconnect.com/content/oup/igpl/2005/00000013/00000006/art00615  

12. Selected Publications Annals of Pure and Applied logic, v. 75 (12)1, 1995. Special issue of papers from the Conference on Proof Theory, Provability logic and Computation, http://www.cs.cornell.edu/Info/People/artemov/publ.html  

13. Words And Other Things: Proofs And Provability Provability logic is an interpretation of modal logic. Now, the question I have is what is the relation between proof theory and Provability logic? http://indexical.blogspot.com/2007/11/proofsandprovability.html  

14. Giorgi Japaridze: Research And Publications Semidecidable fragments of first order Provability logic. The arithmetical completeness of Provability logic with quantifier modalities. http://www.csc.villanova.edu/~japaridz/study.html  

15. Review Albert Visser, A Course On Bimodal Provability Logic Albert Visser, A Course on Bimodal Provability logic. Fulltext Access via JSTOR (no additional login). Go to this article in JSTOR. Links and Identifiers http://projecteuclid.org/handle/euclid.jsl/1183745258  

16. Provability Logic  Indopedia, The Indological Knowledgebase Provability logic, or the logic of Provability, is a modal logic where the necessity operator is interpreted as Provability in a reasonably rich formal http://www.indopedia.org/Provability_logic.html  

17. The Logic Of Provability  Cambridge University Press Modal logic within set theory; 14. Modal logic within analysis; 15. The joint Provability logic of consistency and wconsistency; 16. http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521483254 
18. Wolter, Frank: All Finitely Axiomatizable Subframe Logics Containing The Provabi All finitely axiomatizable subframe logics containing the Provability logic CSM are decidable, 1997 In this paper we investigate those extensions of the http://lips.informatik.unileipzig.de/pub/199737/en  

19. NDJFL Editors Warren Goldfarb, Philosophical logic Proof Theory, Provability logic, Early Analytic Philosophy (Frege, Russell, Wittgenstein, Carnap) http://www.nd.edu/~ndjfl/editors.html  

20. Home Page Of Rostislav Yavorskiy On Kripkestyle Semantics for the Provability logic of Godel s Proof Predicate with Quantifiers on Proofs. Journal of logic and Computation 2005, Vol. http://www.mi.ras.ru/~rey/  

21. Provability Logic (logic)  Philosophy Dictionary And Research Guide Provability logic Provability logic is a modal logic, in which the box (or. http://www.123expbeliefs.com/t/00804249409/  

22. Broadview Press: Logical Options Provability logic. 4.4.1. Arithmetic Provability and Contextual logic. 4.4.2. Frames and Provability logic. 4.4.3. Trees for Provability logic http://www.broadviewpress.com/bvbooksprintable.asp?BookID=237 
23. [Iem2001] A Modal Analysis Of Some Principles Of The Provability Logic Of Heytin @inproceedings{Iem01c, volume = {2}, title = {A modal analysis of some principles of the Provability logic of {H}eyting Arithmetic}, year = {2001}, http://www.logic.at/dmgfg2pub/entryIem01c.html  

24. EconPapers: Common Knowledge And Common Rationality Through Provability Logic Common Knowledge and Common Rationality Through Provability logic. Corrado Benassi and P. Gentilini. Working Papers from Dipartimento Scienze Economiche, http://econpapers.repec.org/paper/bolbodewp/350.htm  

25. Martin LÃ¶b (19212006) The inspiration of LÃ¶b s Theorem made Amsterdam one of the places where the first results in Provability logic were obtained, a program started by de http://www.illc.uva.nl/Obituaries/Loeb.html  

26. CiteULike: On Provability Logic msakai s tags for this article. logic modallogic Provability game haskell ilp intuitionistic lcm linearlogic logic machinelearning maude modallogic http://www.citeulike.org/user/msakai/article/1662361  

27. Matematicheskie Zametki Provability logic without Craig s interpolation property L. D. Beklemishev UDC 510.65 Received 26.10.1988 Citation L. D. Beklemishev, Provability logic http://www.mathnet.ru/php/journal.phtml?wshow=paper&jrnid=mzm&paperid=3498&year= 
28. CSLI Calendar, 19 November 1997, Vol. 13:10 logic of Proofs provides an intended Provability semantics for the Goedel Provability logic S4, as well as for some other constructions in logic and http://wwwcsli.stanford.edu/Archive/calendar/199798/msg00010.html  

29. Project: Constructive And Intensional Logic (www.onderzoekinformatie.nl) Another theme is Provability and interpretability logic of arithmetic, Some new results on the Provability logic of Heyting arithmetic were obtained, http://www.onderzoekinformatie.nl/en/oi/nod/onderzoek/OND1280272/  

30. NORM Since LÃ¶b s announcement of his solution to Henkin s problem (LÃB54, LÃB55) there has been successful and fruitful research on Provability logic tied up http://nb.vse.cz/kfil/elogos/logpoint/932/KIM.htm  

31. DBLP: Albert Visser 3, Albert Visser An Inside View of EXP; or, The Closed Fragment of the Provability logic of I Delta0+Omega1 with a Propositional Constant for EXP. http://www.informatik.unitrier.de/~ley/db/indices/atree/v/Visser:Albert.html  

32. Âvejdar Âvejdar, VÃt zslav The decision problem of Provability logic with only one atom; In Archive for Mathematical logic. 2003, ro . 42, . 8, s. 763768. http://svi.ff.cuni.cz/sm_sy/svejdar.htm  

33. Anders Moen On Numerals, Variables and Quantifiers in Provability logic abstract logic is the scientific language of Computer Science. Instead of investigating logic http://www.nr.no/~andersmo/personal.html  

34. LICS Newsletter 10 PPC provides a platform for the presentation of recent results in the areas of Proof Theory, Provability logic, and Computation where these are interrelated http://www2.informatik.huberlin.de/lics/newsletters/10.html  

35. Essays In Philosophy  Book Review Boolos is best known for his work on modal Provability logic. BoolosÂ The logic of Provability (1993) is regarded as the single best volume on the subject, http://www.humboldt.edu/~essays/marrev.html  

36. Introduction The idea of Provability logic arose in the seventies in work of G. The Provability logic then consists of modal formulas, which are ÂvalidÂ in every http://www.math.cas.cz/~jerabek/papers/prlast.html  

37. Abbeys Bookshop  Logic Of Provability Its subject is the relation between Provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually http://www.abbeys.com.au/items/08/77/58/  

38. Springer Online Reference Works Modal logic. This interpretation is related to the normal extensions of Provability logic, because there exists a natural isomorphism between the lattice of http://eom.springer.de/M/m110020.htm  

39. Magnus Boman  Older Publications Towards the end of my thesis work, one of my supervisors PerErik MalmnÃ¤s told me I had to choose between Provability logic and all my other interests. http://www.sics.se/~mab/Publ.html  

40. DMGFG2: Projects It has resulted in the description of the Provability fragment of a logic which is conjectured to be the preservativity (a constructive analogue to http://www.dmg.tuwien.ac.at/fg2/index.php?id=40 
41. PlanetMath: GÃÂ¶del's Incompleteness Theorems The second incompleteness theorem is best presented by means of a Provability logic. Consider an arithmetic theory $ T$ which is p.r. axiomatised by http://planetmath.org/encyclopedia/GodelsIncompletenessTheorems.html  

42. Oxford Scholarship Online: Interpolation And Definability This chapter shows that actions of interpolation in extensions of the Provability logic G differs from that over S4. A logic G 0x0003b3 http://www.oxfordscholarship.com/oso/public/content/maths/9780198511748/acprof9  

43. The Discreteness Of Time Interestingly, GL logic is sound and complete for the class of conversewellfounded Kripke frames. The subject of Provability logic has been thoroughly http://www.dcs.ed.ac.uk/home/pgh/dummet.html  

44. Rineke Verbrugge On the Provability logic of bounded arithmetic,. Annals of Pure and Applied logic. ,. 61. (1993) 7593. Contributions to edited booksback to top http://www.ai.rug.nl/~rineke/topics/topic.php?topic=Publications 
Page 1 149 of 49 1 