Question

Minimal Modal Logic and the Class of all Kripke Models

score 202 · Answer 1 · 2026-03-25 05:41:27

202

Views

Minimal Modal Logic and the Class of all Kripke Models

Published on 25 Mar 2026 - 5:41

score 473 · Answer 2 · 2017-11-19 17:42:46

473

Views

Axiomatic Proofs in K

Published on 19 Nov 2017 - 17:42

score 94 · Answer 3 · 2017-11-27 14:49:37

94

Views

Equivalent axiomatizations of $\mathbf{S4}$

Published on 27 Nov 2017 - 14:49

score 84 · Answer 4 · 2017-12-11 13:34:59

84

Views

How to to prove that $\vdash p\rightarrow\Box\Diamond p$ in a system where $R$ is symmetric in non-classical logic?

Published on 11 Dec 2017 - 13:34

score 43 · Answer 5 · 2017-12-11 14:37:37

43

Views

What does $w_i$ stands for in modal logic?

Published on 11 Dec 2017 - 14:37

score 40 · Answer 6 · 2026-03-25 05:41:33

40

Views

How to show that someone beleive someone don't beleive $\phi$ with Kripke models?

Published on 25 Mar 2026 - 5:41

score 61 · Answer 7 · 2017-12-13 13:56:09

61

Views

Does a (complete) consistent theory have a frame?

Published on 13 Dec 2017 - 13:56

score 165 · Answer 8 · 2017-12-13 15:47:33

165

Views

How to prove that $\vdash\phi\rightarrow\neg\Box\neg\phi$ is a theorem in S5?

Published on 13 Dec 2017 - 15:47

score 138 · Answer 9 · 2017-12-17 15:33:26

138

Views

Prove or refute transitivity property for $\square \neg A \lor \lozenge \lozenge A $

Published on 17 Dec 2017 - 15:33

score 355 · Answer 10 · 2017-12-18 17:30:55

355

Views

Was Gödel's entire argument actually formalizable when it was written?

Published on 18 Dec 2017 - 17:30

score 516 · Answer 11 · 2018-01-02 08:12:46

516

Views

Variants of Kuratowski's 14 set theorem

Published on 02 Jan 2018 - 8:12

score 927 · Answer 12 · 2018-01-08 23:08:19

927

Views

Euclidean frame validity

Published on 08 Jan 2018 - 23:08

score 795 · Answer 13 · 2018-01-09 16:52:38

795

Views

CTL: Are AGEF$\phi$ and AF$\phi$ Equivalent?

Published on 09 Jan 2018 - 16:52

score 679 · Answer 14 · 2011-05-17 14:44:54

679

Views

Common knowledge as a fixed point

Published on 17 May 2011 - 14:44

score 514 · Answer 15 · 2011-05-19 12:58:48

514

Views

Nash equilibrium and common knowledge

Published on 19 May 2011 - 12:58

List Question

Minimal Modal Logic and the Class of all Kripke Models

Axiomatic Proofs in K

Equivalent axiomatizations of $\mathbf{S4}$

How to to prove that $\vdash p\rightarrow\Box\Diamond p$ in a system where $R$ is symmetric in non-classical logic?

What does $w_i$ stands for in modal logic?

How to show that someone beleive someone don't beleive $\phi$ with Kripke models?

Does a (complete) consistent theory have a frame?

How to prove that $\vdash\phi\rightarrow\neg\Box\neg\phi$ is a theorem in S5?

Prove or refute transitivity property for $\square \neg A \lor \lozenge \lozenge A $

Was Gödel's entire argument actually formalizable when it was written?

Variants of Kuratowski's 14 set theorem

Euclidean frame validity

CTL: Are AGEF$\phi$ and AF$\phi$ Equivalent?

Common knowledge as a fixed point

Nash equilibrium and common knowledge

Trending Questions

Popular # Hahtags

Popular Questions