10 results
POUREL’S LANDSCAPE

 Journal:
 Bulletin of Symbolic Logic / Accepted manuscript
 Published online by Cambridge University Press:
 09 May 2024, pp. 136

 Article

 You have access
 Export citation
DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
 Published online by Cambridge University Press:
 23 December 2022, pp. 178205
 Print publication:
 March 2024

 Article
 Export citation
CONSERVATION THEOREMS ON SEMICLASSICAL ARITHMETIC
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
 Published online by Cambridge University Press:
 17 March 2022, pp. 14691496
 Print publication:
 December 2023

 Article
 Export citation
PRENEX NORMAL FORM THEOREMS IN SEMICLASSICAL ARITHMETIC
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
 Published online by Cambridge University Press:
 11 June 2021, pp. 11241153
 Print publication:
 September 2021

 Article
 Export citation
A NOTE ON DERIVABILITY CONDITIONS
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
 Published online by Cambridge University Press:
 07 September 2020, pp. 12241253
 Print publication:
 September 2020

 Article
 Export citation
PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC

 Journal:
 The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
 Published online by Cambridge University Press:
 23 October 2018, pp. 12291246
 Print publication:
 September 2018

 Article
 Export citation
GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑nDEFINABLE THEORIES OF ARITHMETIC

 Journal:
 The Review of Symbolic Logic / Volume 10 / Issue 4 / December 2017
 Published online by Cambridge University Press:
 07 November 2017, pp. 603616
 Print publication:
 December 2017

 Article

 You have access
 Export citation
UNIVERSAL ROSSER PREDICATES

 Journal:
 The Journal of Symbolic Logic / Volume 82 / Issue 1 / March 2017
 Published online by Cambridge University Press:
 21 March 2017, pp. 292302
 Print publication:
 March 2017

 Article
 Export citation
ILLUSORY MODELS OF PEANO ARITHMETIC

 Journal:
 The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
 Published online by Cambridge University Press:
 13 July 2016, pp. 11631175
 Print publication:
 September 2016

 Article
 Export citation
ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY

 Journal:
 The Review of Symbolic Logic / Volume 6 / Issue 1 / March 2013
 Published online by Cambridge University Press:
 12 October 2012, pp. 129146
 Print publication:
 March 2013

 Article
 Export citation