-
20Dick de Jongh and Franco Montagna. Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 , pp. 229–250 (review)Journal of Symbolic Logic 58 (2): 715-717. 1993.
-
1918th workshop on logic, language, information and computation (wollic 2011)Bulletin of Symbolic Logic 18 (1): 152-153. 2012.
-
19Iterated local reflection versus iterated consistencyAnnals of Pure and Applied Logic 75 (1-2): 25-48. 1995.For “natural enough” systems of ordinal notation we show that α times iterated local reflection schema over a sufficiently strong arithmetic T proves the same Π 1 0 -sentences as ω α times iterated consistency. A corollary is that the two hierarchies catch up modulo relative interpretability exactly at ε-numbers. We also derive the following more general “mixed” formulas estimating the consistency strength of iterated local reflection: for all ordinals α ⩾ 1 and all β, β ≡ Π 1 0 T ω α · , α ≡ Π …Read more
-
19[Omnibus Review]Journal of Symbolic Logic 58 (2): 715-717. 1993.Reviewed Works:Dick de Jongh, Franco Montagna, Provable Fixed Points.Dick de Jongh, Franco Montagna, Much Shorter Proofs.Alessandra Carbone, Franco Montagna, Rosser Orderings in Bimodal Logics.Alessandra Carbone, Franco Montagna, Much Shorter Proofs: A Bimodal Investigation
-
17Smullyan Raymond M.. Diagonalization and self-reference. Oxford logic guides, no. 27. Clarendon Press, Oxford University Press, Oxford and New York1994, xv + 396 pp (review)Journal of Symbolic Logic 61 (3): 1052-1055. 1996.
-
14Review: Per Lindstrom, Aspects of Incompleteness (review)Journal of Symbolic Logic 63 (4): 1606-1608. 1998.
-
14On Topological Models of GLPIn Ralf Schindler (ed.), Ways of Proof Theory, De Gruyter. pp. 135-156. 2010.
-
14Advances in Modal Logic 8 (edited book)College Publications. 2010.Proc. of the 8th International Conference on Advances in Modal Logic, (AiML'2010).
-
14Provable Fixed Points.Much Shorter Proofs.Rosser Orderings in Bimodal Logics.Much Shorter Proofs: A Bimodal Investigation (review)Journal of Symbolic Logic 58 (2): 715. 1993.
-
13Calibrating Provability Logic: From Modal Logic to Reflection CalculusIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 89-94. 1998.
-
13Review: Ulrich Kohlenbach, On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness (review)Bulletin of Symbolic Logic 7 (1): 75-77. 2001.
-
9REVIEWS-Godel's theorem: An incomplete guide to its use and abuseBulletin of Symbolic Logic 13 (2): 241. 2007.
-
9Lindström Per. Aspects of incompleteness. Lecture notes in logic, no. 10. Springer, Berlin, Heidelberg, New York, etc., 1997, x + 133 pp (review)Journal of Symbolic Logic 63 (4): 1606-1608. 1998.
-
5Calibrating Provability Logic: From Modal Logic to Reflection CalculusIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 89-94. 1998.
-
4A Note on Strictly Positive Logics and Word Rewriting SystemsIn Sergei Odintsov (ed.), Larisa Maksimova on Implication, Interpolation, and Definability, Springer Verlag. 2018.We establish a natural translation from word rewriting systems to strictly positive polymodal logics. Thereby, the latter can be considered as a generalization of the former. As a corollary we obtain examples of undecidable finitely axiomatizable strictly positive normal modal logics. The translation has its counterpart on the level of proofs: we formulate a natural deep inference proof system for strictly positive logics generalizing derivations in word rewriting systems. We also make some obse…Read more
-
Gödel’s theorem: an incomplete guide to its use and abuse (review)Bulletin of Symbolic Logic 13 (2): 241-242. 2007.
-
Omnibus Review (review)Journal of Symbolic Logic 58 (2): 715-717. 1993.Reviewed Works:Dick de Jongh, Franco Montagna, Provable Fixed Points.Dick de Jongh, Franco Montagna, Much Shorter Proofs.Alessandra Carbone, Franco Montagna, Rosser Orderings in Bimodal Logics.Alessandra Carbone, Franco Montagna, Much Shorter Proofs: A Bimodal Investigation.
-
Leloup, G., Rings of monoids elementarily equivalent to polynomial rings Miller, C., Expansions of the real field with power functions Ozawa, M., Forcing in nonstandard analysis Rathjen, M., Proof theory of reflection (review)Annals of Pure and Applied Logic 68 343. 1994.
-
Book review (review)Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 37 (2): 388-390. 2006.