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
A question on intuitionistc propositional logic
Prove that: Two finite rooted frames are isomorphic iff they validate the same formulas. (This is an exercise in the book "Modal Logic" by A.Chagrov and M.Zakharyaschev)
Oct 8 '12 at 7:45
newest intuitionism kripke-models questions feed
Hot Network Questions
Is there a word for a person who can understand difficult concepts or ideas quickly?
How does lexical analyzer parse the following C statement?
How do I deal with players that pick very situational skills for a Campaign?
Can you say someone is a ”非常熟的人“？
process of showing that a number is irrational
If a program terminates and there is no one to see it, does it halt?
1,000-strong battalion - meaning of "strong"?
Limit of a Riemann Sum and Integral
Modifications for labeling a triangle
Bash: exit status treatment
Do stealth airplanes need to limit contrail generation?
Translation with a phrase containing "es gleich"
Should I call my adviser by her first name?
Who is guru laghima?
Is it essential to add cholesterol to agar or liquid culture for C. elegans?
Set of integers not divisible by smaller set of primes
Closed-forms of infinite series with factorial in the denominator
Send 1 overweight suitcase instead of 2 underweight?
Possibly quit your job with a polyglot
Why do I get different outputs in case of sh and bash?
What does it mean statistically insignificantly worse?
Cat always tries to eat chives
Derogatory word or term for a peasant/lower class
What specifically does expressive power refer to?
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