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
Single word for company's internal solution?
How can I efficiently ArrayFlatten a matrix of sparse matrices?
What does " 'Nation " stand for in this context?
How to deal with sending wedding invitations
Getting back to Heathrow for an early flight
Optimising a Mammoth Rider
Books for biology,popular but rigorous?
Debugging Apex Code using Checkpoints?
Numerically solving Helmholtz equation in 2D for arbitrary shapes
Why do we still do symbolic math?
Is making a small change, testing it, then "rinse and repeat", a bad habit?
What is the country of residence under the rules of the InterRail?
Why didn't they just take the ring to the Valinor?
What should I do as a reader if a paper misrepresented earlier papers?
Transposing File contents
Can malware be dangerous even when quarantined?
Examples of Artistic Works with Mathematical Aspects
How can wiring systems be designed to not rely solely on colour?
Loading dictionary using trie in C very slow with large data set
Comprehensive list of distributions?
What is the terminal velocity of a sheep?
Average time to first answer
Produce unique number given two integers
Theoretical attack on RSA
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