
prooftheory.blog/2024/03/20/a-note-on-conservativity-in-constructive-modal-logics
Preview meta tags from the prooftheory.blog website.
Linked Hostnames
4General Meta Tags
6- titleA note on conservativity in constructive modal logics – The Proof Theory Blog
- charsetUTF-8
- viewportwidth=device-width, initial-scale=1
- authorTimo Lang
- robotsmax-image-preview:large
Link Tags
26- EditURIhttps://prooftheory.blog/xmlrpc.php?rsd
- alternatehttps://prooftheory.blog/feed/
- alternatehttps://prooftheory.blog/comments/feed/
- alternatehttps://prooftheory.blog/2024/03/20/a-note-on-conservativity-in-constructive-modal-logics/feed/
- alternatehttps://prooftheory.blog/wp-json/wp/v2/posts/2826
Links
22- http://www.anupamdas.com
- https://arxiv.org/abs/2408.00262
- https://prooftheory.blog
- https://prooftheory.blog/2022/08/19/brouwer-meets-kripke-constructivising-modal-logic
- https://prooftheory.blog/2022/08/19/brouwer-meets-kripke-constructivising-modal-logic/#comment-1323