Question

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

score 252 · Answer 1 · 2021-12-10 19:10:37

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

score 70 · Answer 2 · 2021-12-17 08:48:15

70

Views

Formulas of basic modal logic involving only $\top$, $\bot$, propositional connectives and modalities

Published on 17 Dec 2021 - 8:48

score 72 · Answer 3 · 2021-12-30 14:18:51

72

Views

Does consistency of Peano arithmetic follow from arithmetical completeness of modal logic GL?

Published on 30 Dec 2021 - 14:18

score 127 · Answer 4 · 2022-01-04 15:24:20

127

Views

Every normal modal logic Σ contains ¬♢⊥.

Published on 04 Jan 2022 - 15:24

score 707 · Answer 5 · 2026-03-27 00:09:41

707

Views

Is there a mathematical system that is: complete, consistent, and decidable?

Published on 27 Mar 2026 - 0:09

score 185 · Answer 6 · 2022-01-07 00:35:57

185

Views

Excercise 1.5.1 from Blackburn, de Rijke and Venema's Modal Logic

Published on 07 Jan 2022 - 0:35

score 79 · Answer 7 · 2022-01-09 16:34:42

79

Views

Hughes and Cresswell's definition of consistency

Published on 09 Jan 2022 - 16:34

score 37 · Answer 8 · 2022-01-11 14:36:33

37

Views

Prove of K ⊢ A ↔ B then K ⊢ C [A/q ] ↔ C [B/q ]

Published on 11 Jan 2022 - 14:36

score 724 · Answer 9 · 2022-02-02 20:03:00

724

Views

Computation tree logic (CTL): Are AG, AF, EG or EF idempotent?

Published on 02 Feb 2022 - 20:03

score 83 · Answer 10 · 2022-03-01 23:40:34

83

Views

Prove that $\mathbf{L}$ is almost a normal modal logic.

Published on 01 Mar 2022 - 23:40

score 66 · Answer 11 · 2022-03-21 12:41:33

66

Views

Is modal logic required to handle assumptions in logic? (Tic Tac Toe example)

Published on 21 Mar 2022 - 12:41

score 75 · Answer 12 · 2026-03-26 12:54:01

75

Views

Literature for modal logic and coalgebras (focused on logic and category theory)

Published on 26 Mar 2026 - 12:54

score 146 · Answer 13 · 2022-04-29 02:07:38

146

Views

Is the distribution axiom in modal logic biconditional and does it hold for diamond as well as box?

Published on 29 Apr 2022 - 2:07

score 60 · Answer 14 · 2022-04-30 10:38:10

60

Views

Is the converse of (◇◇A -> ◇A) true too?

Published on 30 Apr 2022 - 10:38

score 68 · Answer 15 · 2022-05-08 18:39:08

68

Views

Proving axiom M in modal logic from K plus A → ◊A

Published on 08 May 2022 - 18:39

List Question

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

Formulas of basic modal logic involving only $\top$, $\bot$, propositional connectives and modalities

Does consistency of Peano arithmetic follow from arithmetical completeness of modal logic GL?

Every normal modal logic Σ contains ¬♢⊥.

Is there a mathematical system that is: complete, consistent, and decidable?

Excercise 1.5.1 from Blackburn, de Rijke and Venema's Modal Logic

Hughes and Cresswell's definition of consistency

Prove of K ⊢ A ↔ B then K ⊢ C [A/q ] ↔ C [B/q ]

Computation tree logic (CTL): Are AG, AF, EG or EF idempotent?

Prove that $\mathbf{L}$ is almost a normal modal logic.

Is modal logic required to handle assumptions in logic? (Tic Tac Toe example)

Literature for modal logic and coalgebras (focused on logic and category theory)

Is the distribution axiom in modal logic biconditional and does it hold for diamond as well as box?

Is the converse of (◇◇A -> ◇A) true too?

Proving axiom M in modal logic from K plus A → ◊A

Trending Questions

Popular # Hahtags

Popular Questions