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
Why isn't GL system of provability logic reflexive?
Formula $\square p \rightarrow p$ (axiom T; corresponding to reflexive modal frames) is interpreted as "if p is provable, then p", or more precisely: for all realizations (all substitutions for $p$), ...
Jul 8 '12 at 7:26
newest modal-logic incompleteness questions feed
Hot Network Questions
Blank desktop after upgrading lubuntu to 14.04 from 12.10
What do those mean for cheque purposes?
What to do when a player dislikes his character, that is vital for the story?
Short Java FizzBuzz using recursion and parameters
Plot Pareto tails in QQ-plot for log-normal distributions
What is the largest ship in the Star Trek Universe?
Are the higher homotopy groups of the Hawaiian earring trivial?
Just found out my 13 year old girl is Bi and dating a 17 year old girl in an "open" relationship. Huh? Now what?
SED : Case Match Pattern Replacement
What female mathematician can I introduce to my High School students?
Making sense of 5/4 time signatures
What are some best practices for creating student groups?
Trying to reverse engineer a simple circuit
Is there a word to describe the state of being the only one of something?
Dash in Environment Name
Make a directory for each row within the given text file?
What makes it illegal to use the information learned by exploiting a bug?
Continuity and simplification of a function
How to combine PC's power and HDD LEDs?
How come all species in Star Trek universe have compatible communications systems?
What does TTK mean?
Are satellites around earth visible to the naked eye?
What is the most precise antonym of "talent"?
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