Newbetuts
.
New posts in modal-logic
Gödel's ontological proof and "modal collapses"
logic
soft-question
model-theory
modal-logic
What is the difference between intuitionistic, classical, modal and linear logic?
logic
type-theory
modal-logic
intuitionistic-logic
linear-logic
Understanding the modal necessitation rule
logic
modal-logic
proving $\Box(p \to q) \to (\Box p \to \Box q)$ or $(\Box p \land \Box q) \to \Box (p \land q)$ from necessitation and other propositions
modal-logic
Formulas of basic modal logic involving only $\top$, $\bot$, propositional connectives and modalities
logic
modal-logic
What's the point of modal logic?
logic
modal-logic
Big Bang Theory Reference to Formal Logic
logic
modal-logic
Does consistency of Peano arithmetic follow from arithmetical completeness of modal logic GL?
logic
modal-logic
Every normal modal logic Σ contains ¬♢⊥.
logic
modal-logic
Excercise 1.5.1 from Blackburn, de Rijke and Venema's Modal Logic
logic
model-theory
modal-logic
Gödel's ontological proof
logic
modal-logic
Hughes and Cresswell's definition of consistency
logic
modal-logic
Prev