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 do pilots manage to keep aircraft on white line during taxi
What makes a song sound "folk-y"?
What Linux software can I use to explore entropy of a file?
Are computers with more RAM potentially faster if not all memory is usually in use?
Something a 'stone's throw away' from something - what's an apostrophe and an article doing there?
How to iterate through a list of files with spaces that is sorted (case insensitive)?
Why is polling accepted in programming?
'modern' browser that will work in windows 98SE
Did the Germans purposefully arrange to send Lenin to Russia to start a revolution?
Any reference that all the pure blood slytherin family tree is tracked back to Salazar slytherin?
"Using Causative Verbs"
How do I make random adventures relevant to player motivations in a Sandbox Hexcrawl Campaign?
Rock Around the Clock
What Ray Bradbury story contains the line
What does “balls” mean as a reply word or interjection?
Double Angle Equations
What is a good analogy to explain to a layman why passwords should be hashed?
Is it possible to buy the ticket on board in German train?
RAID-5: Two disks failed simultaneously?
Can a closed-source programming language survive?
Bonus points, only negative
Who should the authors of a corrigendum be?
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 Exchange
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0