Computer Science Meta
to customize your list.
more stack exchange communities
Start here for a quick overview of the site
Detailed answers to any questions you might have
Discuss the workings and policies of this site
tag has no wiki summary.
Mapping intuitionistic logic to the modal logic S4
In his famous Semantical Analysis of Intuitionistic Logic, S. Kripke speaks of the "well-known mappings of intuitionistic logic into the modal system S4". I'm not sure which mappings Kripke means. One ...
Mar 3 at 12:58
newest modal questions feed
Hot Network Questions
How to teach a toddler to identify colors correctly?
Is it possible to kill with XM25 Smoke?
If DOS is single-tasking, how was multitasking possible in old version of Windows?
Why /tmp has stickybit
How do I make an interesting escape from a fire?
What is a tactful way to address client's lack of cooperation with a project?
What's the difference between the following cmd scripts?
Time complexity of a compiler
How to do a flawless and natural presentation?
How do I use wget to download YouTube videos?
What is "the d20 bust," and what does "post-d20 game" mean?
Is my coding technique progressing in terms of C# loops?
Why are the B-1 battle droids in Attack of the Clones and The Clone Wars (2008-2014) so dumb?
The logic behind "better safe than sorry"
Nazism and Jewish persecution awareness during the WW2 years
Why do I need a flu shot every year, while many other vaccinations last years or even a lifetime?
Are the following IF statements acceptable?
Is there any way to find a file when you know its checksum?
Unicode-math does not render the Gamma letter
Is the shell permitted to optimize out useless terminating commands?
How to diversify IRA portfolio given fund minimum investments and IRA contribution limits?
Why does it say to me that my class does not contain a constructor that takes 0 arguments?
A coworker beat me to resignation. How can I resign in a professional manner?
Is Hard Link equivalent to Windows Shortcut
more hot questions
Life / Arts
Culture / Recreation
TeX - LaTeX
Unix & Linux
Ask Different (Apple)
Geographic Information Systems
Science Fiction & Fantasy
Seasoned Advice (cooking)
Personal Finance & Money
English Language & Usage
Mi Yodeya (Judaism)
Cross Validated (stats)
Theoretical Computer Science
Meta Stack Overflow
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0