Constructive modalities with provability smack

Litak T (2014)


Publication Language: English

Publication Type: Book chapter / Article in edited volumes

Publication year: 2014

Publisher: Springer

Edited Volumes: Leo Esakia on duality in modal and intuitionistic logics

Series: Outstanding Contributions to Logic

City/Town: Berlin/Heidelberg

Book Volume: 4

Pages Range: 179-208

ISBN: 978-94-017-8859-5

URI: https://link.springer.com/chapter/10.1007/978-94-017-8860-1_8

DOI: 10.1007/978-94-017-8860-1_8

Open Access Link: https://arxiv.org/abs/1708.05607

Authors with CRIS profile

How to cite

APA:

Litak, T. (2014). Constructive modalities with provability smack. In Guram Bezhanishvili (Eds.), Leo Esakia on duality in modal and intuitionistic logics. (pp. 179-208). Berlin/Heidelberg: Springer.

MLA:

Litak, Tadeusz. "Constructive modalities with provability smack." Leo Esakia on duality in modal and intuitionistic logics. Ed. Guram Bezhanishvili, Berlin/Heidelberg: Springer, 2014. 179-208.

BibTeX: Download