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
if between E and F is a halftone why F cannot be a E#
What is zero impedance in AC circuit?
Translation of the expression "by the way"
At what point is it most advantageous to cease depositing into a 401k?
Did Leibniz really get the Leibniz rule wrong?
Increment every number in a string
Meditating and including buddhist philosophy in your life without abandoning previous religious beliefs?
How bad is it really to install Linux on one big partition?
What is that device at an airport which transports packages to the aircraft called?
Lilypond - two voices, with overlapping beams
PID's associated with Chromium multiple tabs and windows?
Why does Energy-Momentum have a special case?
Proper translation of "定位" to English?
What is a halogen burner or (?) cooktop? How does it work?
Walk up and talk to random people at academic conferences - is that appropriate?
determine if a function is periodic
Why does an aircraft leave a white smoke trail?
Is this slower because of two lookups instead of one?
How do I remove spaces from shell variables?
Replace relational database with "poor" design in software product with non-relational DB?
How to display the Torah when doing hagbah
What is a polite way of talking about a recently-deceased person?
Convert units to String
Monitor which website my applications are trying to connect 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