Skip to main content
Nick Doe's user avatar
Nick Doe's user avatar
Nick Doe's user avatar
Nick Doe
  • Member for 3 years, 11 months
  • Last seen more than a month ago
2 votes
1 answer
299 views

How to prove the completeness of S5?

2 votes
1 answer
74 views

Jackson's simplification of Lewis' triviality result

2 votes
0 answers
79 views

How has the metaphysics of free will dealt away with Sartre's answer?

2 votes
1 answer
203 views

Can you really prove anything from a contradiction, or is that only restricted to formulas?

2 votes
0 answers
223 views

Proof that uniform substitution is validity preserving in modal system K?

1 vote
1 answer
104 views

Lewis' argument against Stalnaker's Hypothesis regarding conditional probability

1 vote
1 answer
102 views

Why is □p→◇p not a theorem of K? [closed]

1 vote
1 answer
116 views

Does the modal system S1 include the rule of necessiation?

1 vote
1 answer
86 views

Provided that we add an axiom □□(p=>p) to S1, how can we prove the rule of necessitation?

0 votes
1 answer
220 views

On which frames is the modal system KW valid?

0 votes
1 answer
99 views

How to prove that the axiom H is valid in the following frame