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
Podcast #57 – We Just Saw This On Florp
Putting the Community back in Wiki
Hot Network Questions
What female mathematician can I introduce to my High School students?
Does centrifugal force exist?
Are the majority of EU member-states' local laws made in Brussels?
How to translate ‘as long as’ ?
Has the Holocaust been exaggerated?
Disk brake squealing after bike shop changed my pads. Enough reason to ask them to re-service (for free)?
Reasons for using ILS approach on a clear day
is "release date" grammatically correct?
Why is Earth's inner core solid?
Can you cut a smoker's tongue after it wraps around you?
Is there a single word that means “hitting the target but missing the point”?
Removing unused init scripts
Why was Hermione not in Ravenclaw?
Should academics allow students to submit and possibly publish weak papers?
Why are laptop screens sized the way they are?
Implementation of C++ ! operator
How do you cd into the first available folder without trying out the name?
cd .. on root folder
What is the current need for ssh dsa host keys?
Can I prevent diagonal movement from exploring more of the map?
Countdown Code: 'League of Legends'
What is the bank system in Game of Thrones and why is it legitimate to exist?
What is 'YTowOnt9'?
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