Constructive Modalities with Provability Smack
| Autor: | Litak, Tadeusz |
|---|---|
| Rok vydání: | 2017 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| DOI: | 10.1007/978-94-017-8860-1_8 |
| Popis: | I overview the work of the Tbilisi school on intuitionistic modal logics of well-founded/scattered structures and its connections with contemporary theoretical computer science. Fixed-point theorems and their consequences are of particular interest. Comment: The paper is a modified and extended version ("Author's Cut") of my contribution for the "Leo Esakia on Duality in Modal and Intuitionistic Logics." |
| Databáze: | arXiv |
| Externí odkaz: |
|