prooftheory.blog/2022/08/19/brouwer-meets-kripke-constructivising-modal-logic
Preview meta tags from the prooftheory.blog website.
Linked Hostnames
12- 56 links toprooftheory.blog
- 8 links toen.m.wikipedia.org
- 4 links todx.doi.org
- 3 links toncatlab.org
- 1 link toarxiv.org
- 1 link toen.wikipedia.org
- 1 link toera.ed.ac.uk
- 1 link tolink.springer.com
General Meta Tags
7- titleBrouwer meets Kripke: constructivising modal logic – The Proof Theory Blog
- charsetUTF-8
- viewportwidth=device-width, initial-scale=1
- authorAnupam Das
- authorSonia Marin
Link Tags
26- EditURIhttps://prooftheory.blog/xmlrpc.php?rsd
- alternatehttps://prooftheory.blog/feed/
- alternatehttps://prooftheory.blog/comments/feed/
- alternatehttps://prooftheory.blog/2022/08/19/brouwer-meets-kripke-constructivising-modal-logic/feed/
- alternatehttps://prooftheory.blog/wp-json/wp/v2/posts/1986
Links
79- http://dx.doi.org/10.1109/LICS.2017.8005089
- http://dx.doi.org/10.1305/ndjfl/1093888133
- http://dx.doi.org/10.1305/ndjfl/1093958154
- http://dx.doi.org/10.4230/LIPIcs.FSCD.2017.27
- http://www.anupamdas.com