Logics of (formal and informal) provability
- Author
- Rafal Urbaniak (UGent) and Pawel Pawlowski (UGent)
- Organization
- Abstract
- Provability logics are, roughly speaking, modal logics meant to capture the formal principles of various provability operators (which apply to sentences) or predicates (which apply to sentence names).
Downloads
-
(...).pdf
- full text (Published version)
- |
- UGent only
- |
- |
- 499.36 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-8545084
- MLA
- Urbaniak, Rafal, and Pawel Pawlowski. “Logics of (Formal and Informal) Provability.” Introduction to Formal Philosophy, edited by Sven Ove Hansson and Vincent Hendricks, Springer, 2018, pp. 191–237, doi:10.1007/978-3-319-77434-3_9.
- APA
- Urbaniak, R., & Pawlowski, P. (2018). Logics of (formal and informal) provability. In S. Ove Hansson & V. Hendricks (Eds.), Introduction to formal philosophy (pp. 191–237). https://doi.org/10.1007/978-3-319-77434-3_9
- Chicago author-date
- Urbaniak, Rafal, and Pawel Pawlowski. 2018. “Logics of (Formal and Informal) Provability.” In Introduction to Formal Philosophy, edited by Sven Ove Hansson and Vincent Hendricks, 191–237. Cham: Springer. https://doi.org/10.1007/978-3-319-77434-3_9.
- Chicago author-date (all authors)
- Urbaniak, Rafal, and Pawel Pawlowski. 2018. “Logics of (Formal and Informal) Provability.” In Introduction to Formal Philosophy, ed by. Sven Ove Hansson and Vincent Hendricks, 191–237. Cham: Springer. doi:10.1007/978-3-319-77434-3_9.
- Vancouver
- 1.Urbaniak R, Pawlowski P. Logics of (formal and informal) provability. In: Ove Hansson S, Hendricks V, editors. Introduction to formal philosophy. Cham: Springer; 2018. p. 191–237.
- IEEE
- [1]R. Urbaniak and P. Pawlowski, “Logics of (formal and informal) provability,” in Introduction to formal philosophy, S. Ove Hansson and V. Hendricks, Eds. Cham: Springer, 2018, pp. 191–237.
@incollection{8545084,
abstract = {{Provability logics are, roughly speaking, modal logics meant to capture the formal principles of various provability operators (which apply to sentences) or predicates (which apply to sentence names).}},
author = {{Urbaniak, Rafal and Pawlowski, Pawel}},
booktitle = {{Introduction to formal philosophy}},
editor = {{Ove Hansson, Sven and Hendricks, Vincent}},
isbn = {{9783319774336}},
issn = {{2569-8737}},
language = {{eng}},
pages = {{191--237}},
publisher = {{Springer}},
series = {{Springer Undergraduate Texts in Philosophy}},
title = {{Logics of (formal and informal) provability}},
url = {{http://doi.org/10.1007/978-3-319-77434-3_9}},
year = {{2018}},
}
- Altmetric
- View in Altmetric