Skip to contents Kurahashi, Taishi The provability logic of all provability predicates Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 2023 Published in: Journal of Logic and Computation (2023) Pawlowski, Pawel; Urbaniak, Rafal Informal provability and dialetheism Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2023 Published in: Theoria, 89 (2023) 2, Seite 204-215 Joaquin, Jeremiah Joven Mind the provability gap Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2023 Published in: Journal of Mathematics and the Arts, 17 (2023) 3-4, Seite 405-407 Peralta, Esteban; Tohmé, Fernando The scope of provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2023 Published in: Synthese, 202 (2023) 1 Schiemer, Georg; Wigglesworth, John Structuralism and informal provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2023 Published in: Synthese, 202 (2023) 2 Petrukhin, Yaroslav Provability multilattice logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2022 Published in: Journal of Applied Non-Classical Logics, 32 (2022) 4, Seite 239-272 ARDESHIR, MOHAMMAD; MOJTAHEDI, MOJTABA THE -PROVABILITY LOGIC OF Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2019 Published in: The Journal of Symbolic Logic, 84 (2019) 3, Seite 1118-1135 Kolmakov, E. A.; Beklemishev, L. D. Axiomatizing Provable n-Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Pleiades Publishing Ltd, 2018 Published in: Doklady Mathematics, 98 (2018) 3, Seite 582-585 Smullyan, Raymond M. Truth and Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2013 Published in: The Mathematical Intelligencer, 35 (2013) 1, Seite 21-24 Cai, Mingzhong Degrees of Relative Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Duke University Press, 2012 Published in: Notre Dame Journal of Formal Logic, 53 (2012) 4 Ben-Porath, Elchanan; Lipman, Barton L. Implementation with partial provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2012 Published in: Journal of Economic Theory, 147 (2012) 5, Seite 1689-1724 Cieslinski, C. Truth, Conservativeness, and Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 2010 Published in: Mind, 119 (2010) 474, Seite 409-422 Cieśliński, Cezary Truth, Conservativeness, and Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press, 2010 Published in: Mind, 119 (2010) 474, Seite 409-422 Esakia, Leo Around provability logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2009 Published in: Annals of Pure and Applied Logic, 161 (2009) 2, Seite 174-184 Lucas, John; Redhead, Michael Truth and Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. University of Chicago Press, 2007 Published in: The British Journal for the Philosophy of Science, 58 (2007) 2, Seite 331-332 Lucas, John; Redhead, Michael Truth and Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press, 2007 Published in: The British Journal for the Philosophy of Science, 58 (2007) 2, Seite 331-332 Tait, W. W. The Logic of Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Philosophy Documentation Center, 1999 Published in: Journal of Philosophy, 96 (1999) 1, Seite 50-53 Tait, W. W.; Boolos, George The Logic of Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. JSTOR, 1999 Published in: The Journal of Philosophy, 96 (1999) 1, Seite 50 Williamson, Timothy; Boolos, George Logics of Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 1996 Published in: The Philosophical Quarterly, 46 (1996) 182, Seite 110 Scowcroft, Philip; Boolos, George The Logic of Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. JSTOR, 1995 Published in: The Philosophical Review, 104 (1995) 4, Seite 627
Kurahashi, Taishi The provability logic of all provability predicates Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 2023 Published in: Journal of Logic and Computation (2023)
Pawlowski, Pawel; Urbaniak, Rafal Informal provability and dialetheism Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2023 Published in: Theoria, 89 (2023) 2, Seite 204-215
Joaquin, Jeremiah Joven Mind the provability gap Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2023 Published in: Journal of Mathematics and the Arts, 17 (2023) 3-4, Seite 405-407
Peralta, Esteban; Tohmé, Fernando The scope of provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2023 Published in: Synthese, 202 (2023) 1
Schiemer, Georg; Wigglesworth, John Structuralism and informal provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2023 Published in: Synthese, 202 (2023) 2
Petrukhin, Yaroslav Provability multilattice logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2022 Published in: Journal of Applied Non-Classical Logics, 32 (2022) 4, Seite 239-272
ARDESHIR, MOHAMMAD; MOJTAHEDI, MOJTABA THE -PROVABILITY LOGIC OF Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2019 Published in: The Journal of Symbolic Logic, 84 (2019) 3, Seite 1118-1135
Kolmakov, E. A.; Beklemishev, L. D. Axiomatizing Provable n-Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Pleiades Publishing Ltd, 2018 Published in: Doklady Mathematics, 98 (2018) 3, Seite 582-585
Smullyan, Raymond M. Truth and Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2013 Published in: The Mathematical Intelligencer, 35 (2013) 1, Seite 21-24
Cai, Mingzhong Degrees of Relative Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Duke University Press, 2012 Published in: Notre Dame Journal of Formal Logic, 53 (2012) 4
Ben-Porath, Elchanan; Lipman, Barton L. Implementation with partial provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2012 Published in: Journal of Economic Theory, 147 (2012) 5, Seite 1689-1724
Cieslinski, C. Truth, Conservativeness, and Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 2010 Published in: Mind, 119 (2010) 474, Seite 409-422
Cieśliński, Cezary Truth, Conservativeness, and Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press, 2010 Published in: Mind, 119 (2010) 474, Seite 409-422
Esakia, Leo Around provability logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2009 Published in: Annals of Pure and Applied Logic, 161 (2009) 2, Seite 174-184
Lucas, John; Redhead, Michael Truth and Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. University of Chicago Press, 2007 Published in: The British Journal for the Philosophy of Science, 58 (2007) 2, Seite 331-332
Lucas, John; Redhead, Michael Truth and Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press, 2007 Published in: The British Journal for the Philosophy of Science, 58 (2007) 2, Seite 331-332
Tait, W. W. The Logic of Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Philosophy Documentation Center, 1999 Published in: Journal of Philosophy, 96 (1999) 1, Seite 50-53
Tait, W. W.; Boolos, George The Logic of Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. JSTOR, 1999 Published in: The Journal of Philosophy, 96 (1999) 1, Seite 50
Williamson, Timothy; Boolos, George Logics of Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 1996 Published in: The Philosophical Quarterly, 46 (1996) 182, Seite 110
Scowcroft, Philip; Boolos, George The Logic of Provability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. JSTOR, 1995 Published in: The Philosophical Review, 104 (1995) 4, Seite 627
> Media type Skip to next facet Articles (355) Wert ausschließen Books (10) Wert ausschließen Thesis (4) Wert ausschließen Conference Proceedings (1) Wert ausschließen Videos (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (1) Wert ausschließen Stack Collection (1) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (2) Wert ausschließen Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (2) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (110) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (258) Wert ausschließen Show more show less
> Language Skip to next facet English (268) Wert ausschließen Not determined (100) Wert ausschließen German (2) Wert ausschließen Russian (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (123) Wert ausschließen Philosophy (92) Wert ausschließen Computer science (33) Wert ausschließen Jurisprudence (26) Wert ausschließen History (15) Wert ausschließen Art and art history (9) Wert ausschließen Technology (9) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (4) Wert ausschließen Psychology (4) Wert ausschließen Medicine (2) Wert ausschließen Sociology (2) Wert ausschließen Economics (2) Wert ausschließen General (1) Wert ausschließen Biology (1) Wert ausschließen Pedagogy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Boolos, George (19) Wert ausschließen Montagna, Franco (11) Wert ausschließen Visser, Albert (10) Wert ausschließen Beklemishev, Lev D. (7) Wert ausschließen Joosten, Joost J. (7) Wert ausschließen Artemov, Sergei N. (6) Wert ausschließen Dzhaparidze, Giorgie (6) Wert ausschließen Fernández-Duque, David (6) Wert ausschließen Krajíček, Jan (6) Wert ausschließen Beklemishev, L. D. (5) Wert ausschließen Beklemishev, Lev (5) Wert ausschließen Kurahashi, Taishi (5) Wert ausschließen McGee, Vann (5) Wert ausschließen Artemov, Sergei (4) Wert ausschließen Pawlowski, Pawel (4) Wert ausschließen Arai, Toshiyasu (3) Wert ausschließen Avigad, Jeremy D. (3) Wert ausschließen Beklemishev, L D (3) Wert ausschließen Calude, Cristian S. (3) Wert ausschließen Giesl, Jürgen (3) Wert ausschließen Goré, Rajeev (3) Wert ausschließen Hirsch, Robin (3) Wert ausschließen Hodkinson, Ian (3) Wert ausschließen Horsten, Leon (3) Wert ausschließen Ignatiev, Konstantin N. (3) Wert ausschließen KURAHASHI, TAISHI (3) Wert ausschließen Kühnemann, Armin (3) Wert ausschließen Lipman, Barton L. (3) Wert ausschließen Maddux, Roger D. (3) Wert ausschließen Monk, J. Donald (3) Wert ausschließen Paris, J. B. (3) Wert ausschließen Sambin, Giovanni (3) Wert ausschließen Tait, W. W. (3) Wert ausschließen Urbaniak, Rafal (3) Wert ausschließen Voigtländer, Janis (3) Wert ausschließen Wilkie, A. J. (3) Wert ausschließen Woods, A. R. (3) Wert ausschließen Ardeshir, Mohammad (2) Wert ausschließen Artëmov, Sergei (2) Wert ausschließen Berarducci, Alessandro (2) Wert ausschließen Cai, Mingzhong (2) Wert ausschließen Carbone, Alessandra (2) Wert ausschließen Carl, M. (2) Wert ausschließen Chagrov, A. V. (2) Wert ausschließen Church, Alonzo (2) Wert ausschließen Cook, Stephen (2) Wert ausschließen Enderton, H. B. (2) Wert ausschließen FERNÁNDEZ-DUQUE, DAVID (2) Wert ausschließen Fischer, F. H. (2) Wert ausschließen Flaminio, Tommaso (2) Wert ausschließen Fujiwara, Makoto (2) Wert ausschließen Gabbay, Dov M. (2) Wert ausschließen Gentilini, Paolo (2) Wert ausschließen Gopalakrishnan, Aswin (2) Wert ausschließen Guaspari, David (2) Wert ausschließen Hall, Roland (2) Wert ausschließen JOOSTEN, JOOST J. (2) Wert ausschließen Kolmakov, E. A. (2) Wert ausschließen Leivant, Daniel (2) Wert ausschließen Lucas, John (2) Wert ausschließen Maggesi, Marco (2) Wert ausschließen Maksimova, L. L. (2) Wert ausschließen Maliaukiené, L. (2) Wert ausschließen Maliaukienė, Livija (2) Wert ausschließen Mohan, Ashok Kumar (2) Wert ausschließen Pavlova, Alexandra (2) Wert ausschließen Perini Brogi, Cosimo (2) Wert ausschließen Pohlers, W. (2) Wert ausschließen Raatikainen, Panu (2) Wert ausschließen Redhead, Michael (2) Wert ausschließen Regan, Kenneth W. (2) Wert ausschließen Rybakov, V. V. (2) Wert ausschließen Santos, Paulo Guilherme (2) Wert ausschließen Scowcroft, Philip (2) Wert ausschließen Seppi, Duane J. (2) Wert ausschließen Sethumadhavan, M. (2) Wert ausschließen Shamkanov, Daniyar (2) Wert ausschließen Sidon, Tatiana (2) Wert ausschließen Valentini, Silvio (2) Wert ausschließen Vineti, Emanuele (2) Wert ausschließen Williamson, Timothy (2) Wert ausschließen Wolter, Frank (2) Wert ausschließen �gr�, Paul (2) Wert ausschließen A., A. R. (1) Wert ausschließen A., R. W. (1) Wert ausschließen AGUILERA, JUAN P. (1) Wert ausschließen ARDESHIR, MOHAMMAD (1) Wert ausschließen Adamowicz, Zofia (1) Wert ausschließen Aguilera, Juan P. (1) Wert ausschließen Andrej Dudenhefner and Jakob Rehof (1) Wert ausschließen Andrews, Peter B. (1) Wert ausschließen Andrews, Uri (1) Wert ausschließen Antoniou, G. (1) Wert ausschließen Antoniou, Grigoris (1) Wert ausschließen Anupam Das and Iris van der Giessen and Sonia Marin (1) Wert ausschließen Artemov, S N (1) Wert ausschließen Artemov, S. N. (1) Wert ausschließen Ashworth, E. J. (1) Wert ausschließen Avron, Arnon (1) Wert ausschließen B., C. A. (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Science and Business Media LLC (CrossRef) (59) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (53) Wert ausschließen JSTOR Mathematics & Statistics (47) Wert ausschließen JSTOR Arts & Sciences I Archive (39) Wert ausschließen Elsevier BV (CrossRef) (32) Wert ausschließen JSTOR (CrossRef) (31) Wert ausschließen Oxford University Press (OUP) (CrossRef) (22) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (19) Wert ausschließen Duke University Press (CrossRef) (12) Wert ausschließen BASE - Bielefeld Academic Search Engine (11) Wert ausschließen JSTOR Arts & Sciences VII Archive (11) Wert ausschließen Verbunddaten SWB (8) Wert ausschließen Wiley (CrossRef) (8) Wert ausschließen IOP Publishing (CrossRef) (6) Wert ausschließen Informa UK Limited (CrossRef) (6) Wert ausschließen JSTOR Arts & Sciences II Archive (6) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (6) Wert ausschließen Steklov Mathematical Institute (CrossRef) (6) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (5) Wert ausschließen Lizenzfreie Online-Ressourcen (5) Wert ausschließen Springer International Publishing (CrossRef) (5) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (4) Wert ausschließen Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University (CrossRef) (3) Wert ausschließen American Mathematical Society (AMS) (CrossRef) (2) Wert ausschließen EconStor (German National Library of Economics, ZBW) (2) Wert ausschließen Elsevier (CrossRef) (2) Wert ausschließen Institute of Mathematics, Polish Academy of Sciences (CrossRef) (2) Wert ausschließen Open Publishing Association (CrossRef) (2) Wert ausschließen River Publishers (CrossRef) (2) Wert ausschließen University of Chicago Press (CrossRef) (2) Wert ausschließen Vilnius University Press (CrossRef) (2) Wert ausschließen AIP Publishing LLC (CrossRef) (1) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen Diss online (1) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (1) Wert ausschließen Mathematical Society of Japan (Project Euclid) (CrossRef) (1) Wert ausschließen Münster University (WWU): miami (1) Wert ausschließen Philosophy Documentation Center (CrossRef) (1) Wert ausschließen Qucosa (1) Wert ausschließen Sciencedomain International (CrossRef) (1) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (1) Wert ausschließen The Belgian Mathematical Society (CrossRef) (1) Wert ausschließen Tomsk State University (CrossRef) (1) Wert ausschließen Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego (CrossRef) (1) Wert ausschließen noah.nrw (1) Wert ausschließen theses.fr (1) Wert ausschließen Show more show less