Question

$+$- and $\Sigma$-types in modal type theory

score 82 · Answer 1 · 2020-12-30 16:24:01

82

Views

$+$- and $\Sigma$-types in modal type theory

Published on 30 Dec 2020 - 16:24

score 169 · Answer 2 · 2026-03-25 20:12:57

169

Views

Is there a logic with quantifier "almost always".

Published on 25 Mar 2026 - 20:12

score 41 · Answer 3 · 2021-01-20 13:07:35

41

Views

Understanding $F\phi \to FF\phi$ as density of time

Published on 20 Jan 2021 - 13:07

score 51 · Answer 4 · 2021-01-21 03:23:48

51

Views

Construct a frame $\mathfrak{F} = (W,R)$ that refutes $\square \bot$

Published on 21 Jan 2021 - 3:23

score 47 · Answer 5 · 2026-03-26 20:39:54

47

Views

Showing every state in an intuitionistic model verifies ¬¬p → p

Published on 26 Mar 2026 - 20:39

score 85 · Answer 6 · 2021-01-24 07:29:52

85

Views

To check validity of $(Ep \land E\lnot p \land A(p\to Hp) \land A(\lnot p\to G\lnot p)) \to E(Hp\land G\lnot p)$ in several frames

Published on 24 Jan 2021 - 7:29

score 36 · Answer 7 · 2021-01-24 17:41:25

36

Views

Logic with degrees of inconsistency between two statements

Published on 24 Jan 2021 - 17:41

score 250 · Answer 8 · 2021-01-29 00:04:00

250

Views

De re/dicto knowledge

Published on 29 Jan 2021 - 0:04

score 110 · Answer 9 · 2021-01-29 09:54:58

110

Views

A basic question about prenex normal form

Published on 29 Jan 2021 - 9:54

score 35 · Answer 10 · 2021-02-04 04:01:05

35

Views

Why can't we freely make and discharge assumptions in system $K$?

Published on 04 Feb 2021 - 4:01

score 155 · Answer 11 · 2021-02-07 10:03:34

155

Views

Prove that $\Sigma\Vdash^g_M \phi$ iff $\{\square^n\sigma: \sigma\in \Sigma,n\in\omega\} \Vdash_M\phi$

Published on 07 Feb 2021 - 10:03

score 322 · Answer 12 · 2026-03-25 05:41:29

322

Views

Why S4 logic should have kripke models with reflexive and transitive relations?

Published on 25 Mar 2026 - 5:41

score 68 · Answer 13 · 2026-03-25 05:41:27

68

Views

Exact definition of SAT problem in S4

Published on 25 Mar 2026 - 5:41

score 73 · Answer 14 · 2021-02-17 13:15:57

To find a temporal bisimulation between $w,w'$ given $w\leftrightsquigarrow w'$ where $\mathfrak M,\mathfrak M'$ (finite) are generated by $w,w'$

score 47 · Answer 15 · 2021-02-20 20:00:00

47

Views

Expressing the truth sets of $\Box\varphi$ and $\Diamond\varphi$ in terms of the truth set of $\varphi$.

Published on 20 Feb 2021 - 20:00

List Question

$+$- and $\Sigma$-types in modal type theory

Is there a logic with quantifier "almost always".

Understanding $F\phi \to FF\phi$ as density of time

Construct a frame $\mathfrak{F} = (W,R)$ that refutes $\square \bot$

Showing every state in an intuitionistic model verifies ¬¬p → p

To check validity of $(Ep \land E\lnot p \land A(p\to Hp) \land A(\lnot p\to G\lnot p)) \to E(Hp\land G\lnot p)$ in several frames

Logic with degrees of inconsistency between two statements

De re/dicto knowledge

A basic question about prenex normal form

Why can't we freely make and discharge assumptions in system $K$?

Prove that $\Sigma\Vdash^g_M \phi$ iff $\{\square^n\sigma: \sigma\in \Sigma,n\in\omega\} \Vdash_M\phi$

Why S4 logic should have kripke models with reflexive and transitive relations?

Exact definition of SAT problem in S4

To find a temporal bisimulation between $w,w'$ given $w\leftrightsquigarrow w'$ where $\mathfrak M,\mathfrak M'$ (finite) are generated by $w,w'$

Expressing the truth sets of $\Box\varphi$ and $\Diamond\varphi$ in terms of the truth set of $\varphi$.

Trending Questions

Popular # Hahtags

Popular Questions