Question

Counter examples in modal logic

score 727 · Answer 1 · 2026-03-17 14:31:13

727

Views

Counter examples in modal logic

Published on 17 Mar 2026 - 14:31

score 411 · Answer 2 · 2026-03-16 21:28:15

411

Views

Determine a modal logic formula which a connective that is not valid but is true

Published on 16 Mar 2026 - 21:28

score 87 · Answer 3 · 2026-03-21 15:37:26

87

Views

What is the Upper-Bound for a Kripke Model in Normal Modal Logics?

Published on 21 Mar 2026 - 15:37

score 155 · Answer 4 · 2026-03-25 02:48:46

155

Views

Proving $\lnot \lnot (\psi \lor \lnot \psi)$ is a theorem of intuitionistic propositional logic

Published on 25 Mar 2026 - 2:48

score 282 · Answer 5 · 2026-03-17 18:50:47

282

Views

Proving the Glivenko theorem via Kripke models

Published on 17 Mar 2026 - 18:50

score 143 · Answer 6 · 2026-03-23 00:28:23

143

Views

Understanding The First Axiom Of Gödel's Ontological Proof

Published on 23 Mar 2026 - 0:28

score 171 · Answer 7 · 2026-03-20 08:35:52

171

Views

$\mathcal{M} \models \Box \phi \rightarrow \Box \Box \phi$ for all $\phi$ if and only if $\mathcal{M}$ is transitive

Published on 20 Mar 2026 - 8:35

score 384 · Answer 8 · 2026-03-17 13:38:52

384

Views

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

Published on 17 Mar 2026 - 13:38

score 204 · Answer 9 · 2026-03-25 01:36:10

204

Views

Counterexample of Goldblatt-Thomason theorem

Published on 25 Mar 2026 - 1:36

score 69 · Answer 10 · 2026-03-17 13:44:48

69

Views

characterization of non-reflexive Kripke frames

Published on 17 Mar 2026 - 13:44

score 98 · Answer 11 · 2026-03-17 01:52:04

98

Views

On provability in modal logic

Published on 17 Mar 2026 - 1:52

score 621 · Answer 12 · 2026-03-25 01:11:29

621

Views

Propositional modal logic: infinite models required in systems with finite model property?

Published on 25 Mar 2026 - 1:11

score 160 · Answer 13 · 2026-03-25 01:04:06

160

Views

Propositional S5: is there a consistent set requiring continuously many worlds?

Published on 25 Mar 2026 - 1:04

score 191 · Answer 14 · 2026-03-25 01:05:06

191

Views

The definition of interpretation in a Kripke model collides with my intuition of what it should do

Published on 25 Mar 2026 - 1:05

score 199 · Answer 15 · 2026-03-25 01:12:04

199

Views

Proving the non-derivability of formula using the of the kripke model

Published on 25 Mar 2026 - 1:12

List Question

Counter examples in modal logic

Determine a modal logic formula which a connective that is not valid but is true

What is the Upper-Bound for a Kripke Model in Normal Modal Logics?

Proving $\lnot \lnot (\psi \lor \lnot \psi)$ is a theorem of intuitionistic propositional logic

Proving the Glivenko theorem via Kripke models

Understanding The First Axiom Of Gödel's Ontological Proof

$\mathcal{M} \models \Box \phi \rightarrow \Box \Box \phi$ for all $\phi$ if and only if $\mathcal{M}$ is transitive

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

Counterexample of Goldblatt-Thomason theorem

characterization of non-reflexive Kripke frames

On provability in modal logic

Propositional modal logic: infinite models required in systems with finite model property?

Propositional S5: is there a consistent set requiring continuously many worlds?

The definition of interpretation in a Kripke model collides with my intuition of what it should do

Proving the non-derivability of formula using the of the kripke model

Trending Questions

Popular # Hahtags

Popular Questions