Question

How to prove in K $ \vdash_{p \rightarrow \lozenge \square p} (\square p \rightarrow \lozenge p)$?

score 389 · Answer 1 · 2026-04-29 12:44:24

389

Views

How to prove in K $ \vdash_{p \rightarrow \lozenge \square p} (\square p \rightarrow \lozenge p)$?

Published on 29 Apr 2026 - 12:44

score 238 · Answer 2 · 2026-04-13 22:34:03

238

Views

What formal proof systems are capable of proving $\forall x \exists y x = y$ without needing to apply $\forall$-I to $\exists y x = y$?

Published on 13 Apr 2026 - 22:34

score 198 · Answer 3 · 2026-04-11 11:14:22

198

Views

Formula or Operator not definable proof with Bisimulation in Modal Logic

Published on 11 Apr 2026 - 11:14

score 76 · Answer 4 · 2026-04-13 05:37:15

76

Views

Why is this formula valid in PDL

Published on 13 Apr 2026 - 5:37

score 100 · Answer 5 · 2026-04-15 10:35:59

100

Views

Validity of $(\lozenge\phi\wedge\lozenge\psi) \rightarrow (\lozenge(\phi\wedge\lozenge\psi)\vee\lozenge(\psi\wedge\lozenge\phi))$ in modal logic

Published on 15 Apr 2026 - 10:35

score 58 · Answer 6 · 2026-04-09 04:04:59

58

Views

Equivalence of strings in modal logic

Published on 09 Apr 2026 - 4:04

score 36 · Answer 7 · 2026-04-13 08:21:11

36

Views

Puzzling axiom for modal cylindric algebras

Published on 13 Apr 2026 - 8:21

score 204 · Answer 8 · 2026-04-16 04:33:31

204

Views

Axiomatic proof of $\vdash_{S4} \square P\rightarrow\square\lozenge\square P$ in S4

Published on 16 Apr 2026 - 4:33

score 186 · Answer 9 · 2026-04-15 22:57:42

186

Views

S5 proof of $\square(\square P\rightarrow\square Q)\vee\square(\square Q\rightarrow\square P)$

Published on 15 Apr 2026 - 22:57

score 32 · Answer 10 · 2026-04-15 11:30:34

32

Views

$\square\diamond\varphi$ valid in a Model with a single world with no successor

Published on 15 Apr 2026 - 11:30

score 161 · Answer 11 · 2026-04-11 15:13:55

161

Views

How to read the modal formula $\square(\square\varphi\rightarrow \varphi)\rightarrow \square \varphi$

Published on 11 Apr 2026 - 15:13

score 182 · Answer 12 · 2026-04-09 13:12:53

182

Views

Is reflexivity modally definable?

Published on 09 Apr 2026 - 13:12

score 102 · Answer 13 · 2026-05-05 05:02:25

102

Views

Hilbert proof are there errors in these derivations?

Published on 05 May 2026 - 5:02

score 357 · Answer 14 · 2026-04-14 12:24:58

357

Views

Compactness and the canonical model in modal logic

Published on 14 Apr 2026 - 12:24

score 91 · Answer 15 · 2026-04-15 19:05:39

91

Views

Prove $\vdash \neg(\square F\land p)$ in $KD$

Published on 15 Apr 2026 - 19:05

List Question

How to prove in K $ \vdash_{p \rightarrow \lozenge \square p} (\square p \rightarrow \lozenge p)$?

What formal proof systems are capable of proving $\forall x \exists y x = y$ without needing to apply $\forall$-I to $\exists y x = y$?

Formula or Operator not definable proof with Bisimulation in Modal Logic

Why is this formula valid in PDL

Validity of $(\lozenge\phi\wedge\lozenge\psi) \rightarrow (\lozenge(\phi\wedge\lozenge\psi)\vee\lozenge(\psi\wedge\lozenge\phi))$ in modal logic

Equivalence of strings in modal logic

Puzzling axiom for modal cylindric algebras

Axiomatic proof of $\vdash_{S4} \square P\rightarrow\square\lozenge\square P$ in S4

S5 proof of $\square(\square P\rightarrow\square Q)\vee\square(\square Q\rightarrow\square P)$

$\square\diamond\varphi$ valid in a Model with a single world with no successor

How to read the modal formula $\square(\square\varphi\rightarrow \varphi)\rightarrow \square \varphi$

Is reflexivity modally definable?

Hilbert proof are there errors in these derivations?

Compactness and the canonical model in modal logic

Prove $\vdash \neg(\square F\land p)$ in $KD$

Trending Questions

Popular # Hahtags

Popular Questions