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 fool the "try some test cases" heuristic: Algorithms that appear correct, but are actually incorrect
Using funny error messages in Finance
Does Hinduism Say Anything About Snake People, Reptilians, or Snake/Reptilian Like Enities?
Is it possible to create a data frame graphic using arcpy?
A potential PhD supervisor declined to accept me as a student; can I ask a second time?
What to list under a job where I achieved nothing (and the business went bust)?
Questions about spiral galaxy arms
Beginning a sentence with a function name?
Why should I prefer the "explicitly typed initializer" idiom over explicitly giving the type
Help with determining irrationality of a number?
Scaling a glue in TeX
Does this property of a first-order structure imply categoricity?
How to blend two photos in Mathematica?
Ore's Conjecture for perfect groups
What was Gandalf's motivation to help the dwarves with their quest?
Ideas for transposing/splitting a TIKZ figure from A4 article to beamer presentation
Why two symbols for the same purpose? Summation and integral symbol.
Does dark energy annihilate energy?
Only cat from specific line X (with a pattern) to other specific line Y (with a pattern)
Graphene Vs Copper?
What's wrong with comments that explain complex code?
What languages use numbers to name the week days and months?
What do we call questions which have a single, unambiguous, objective answer?
How to read in one character at a time from a file in python?
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