Question

Can you express a logic system like S5 using only a Gödel number?

score 175 · Answer 1 · 2011-08-12 02:19:04

175

Views

Can you express a logic system like S5 using only a Gödel number?

Published on 12 Aug 2011 - 2:19

score 369 · Answer 2 · 2011-10-17 00:21:02

369

Views

Translation of nabla modality with box and diamond modalities

Published on 17 Oct 2011 - 0:21

score 409 · Answer 3 · 2012-01-04 22:42:12

409

Views

Modal logic as a quotient Boolean-valued logic

Published on 04 Jan 2012 - 22:42

score 529 · Answer 4 · 2012-03-06 01:08:20

529

Views

In modal logic, is $\lnot\square P\equiv\lozenge\lnot P$?

Published on 06 Mar 2012 - 1:08

score 156 · Answer 5 · 2012-03-11 22:01:28

156

Views

Proving that a formula cannot be proven (has no formal proof) in a given deduction system

Published on 11 Mar 2012 - 22:01

score 995 · Answer 6 · 2026-03-26 14:42:18

995

Views

Need help understanding a proof in Boolos's "The Logic of Provability"

Published on 26 Mar 2026 - 14:42

score 401 · Answer 7 · 2012-06-27 20:37:17

401

Views

Is it possible to prove that the Grz axiom is valid in a modal frame iff the frame is reflexive and transitive?

Published on 27 Jun 2012 - 20:37

score 399 · Answer 8 · 2026-03-26 14:42:34

399

Views

Why isn't GL system of provability logic reflexive?

Published on 26 Mar 2026 - 14:42

score 431 · Answer 9 · 2012-08-24 15:09:10

431

Views

Why modal logic needs modalities

Published on 24 Aug 2012 - 15:09

score 228 · Answer 10 · 2026-03-25 05:48:42

228

Views

A question on intuitionistc propositional logic

Published on 25 Mar 2026 - 5:48

score 25.6k · Answer 11 · 2012-12-01 11:43:07

25.6k

Views

Gödel's ontological proof

Published on 01 Dec 2012 - 11:43

score 323 · Answer 12 · 2012-12-06 18:59:03

323

Views

Modal Logic Questions Validity

Published on 06 Dec 2012 - 18:59

score 321 · Answer 13 · 2012-12-07 00:22:49

321

Views

Modal theorems valid in a set theory model

Published on 07 Dec 2012 - 0:22

score 1.9k · Answer 14 · 2012-12-28 03:56:21

Prove that $\Diamond\Box p \rightarrow \Diamond (\Box (p\land q) \lor \Box(p\land\neg q))$ does not define a first-order condition on frames

score 338 · Answer 15 · 2013-02-28 03:08:53

338

Views

The Logic of Satisfiability?

Published on 28 Feb 2013 - 3:08

List Question

Can you express a logic system like S5 using only a Gödel number?

Translation of nabla modality with box and diamond modalities

Modal logic as a quotient Boolean-valued logic

In modal logic, is $\lnot\square P\equiv\lozenge\lnot P$?

Proving that a formula cannot be proven (has no formal proof) in a given deduction system

Need help understanding a proof in Boolos's "The Logic of Provability"

Is it possible to prove that the Grz axiom is valid in a modal frame iff the frame is reflexive and transitive?

Why isn't GL system of provability logic reflexive?

Why modal logic needs modalities

A question on intuitionistc propositional logic

Gödel's ontological proof

Modal Logic Questions Validity

Modal theorems valid in a set theory model

Prove that $\Diamond\Box p \rightarrow \Diamond (\Box (p\land q) \lor \Box(p\land\neg q))$ does not define a first-order condition on frames

The Logic of Satisfiability?

Trending Questions

Popular # Hahtags

Popular Questions