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 modal-logic questions feed
Hot Network Questions
Is my coding technique progressing in terms of C# loops?
Configuring two IPs for one server?
Why is kswapd0 running on a computer with no swap?
What does ImageSize -> 1 -> 1 mean?
What is "the d20 bust," and what does "post-d20 game" mean?
A coworker beat me to resignation. How can I resign in a professional manner?
Where can I stash a rental car while visiting London?
What? No error?
The logic behind "better safe than sorry"
Is it possible for a modern commercial airplane (namely Boeing 777) to stop being tracked without substantial mechanical failure?
Scary Font Echo Effect
If I target my own Rancor with a Terastodon will the effect still take place and give me a 3/3 elephant token?
Why do I need a flu shot every year, while many other vaccinations last years or even a lifetime?
Meaning of “shelves” in an accounting ledger
When does delete not mean delete?
How to match a cyclically repeating sequence?
Looking for a list of major cities of the world
Units conversion : cl to grams
Polynomials with Integer Coefficients and irrational roots
What does rule 30 mean in this example?
X or Y guitarist doesn't know music theory - how true is this statement?
Find out what command I last ran that starts a certain way?
In early-mid game, how to fight as a mage with low magicka regen?
Using mechanics Optimization to design a game at a desired power level
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