MATH
Login Or Sign up

List Question

15
152
Views

Necessity and sufficiency on dead end worlds in Kripke's model

Published on
#logic #modal-logic #kripke-models
112
Views

Why is this epistemic logic situation valid

Published on
#logic #predicate-logic #modal-logic
120
Views

Can you have set theories with modal logical operators?

Published on
#elementary-set-theory #modal-logic
207
Views

Is there a modal logic axiom corresponding to the condition that for every world w there is some world v such that vRw? (Reverse Seriality)

Published on
#logic #model-theory #philosophy #modal-logic
66
Views

How are possible worlds in modal logic qualitatively different from valuations? Are they just kinds of valuations?

Published on
#logic #modal-logic
186
Views

Diamond Distribution in system K (Garson Modal Logic exercise 1.8)

Published on
#logic #natural-deduction #formal-proofs #modal-logic
125
Views

Garson Exercise 2.4(a), Show axiom (4) is provable in S5

Published on
#logic #natural-deduction #formal-proofs #modal-logic
58
Views

Non-bisimilar models

Published on
#logic #model-theory #modal-logic
163
Views

Does modal replacement hold in modal logic of forcing?

Published on
#set-theory #forcing #modal-logic
150
Views

Is the 1-consistency of $PA$ necessary to prove that $\diamond^{m} \top\implies \diamond^{n} \top$ is false if $m<n$?

Published on
#logic #modal-logic
152
Views

Formalizing a self referential sentence

Published on
#logic #modal-logic #fixed-point-arithmetics
37
Views

The specialty of canonical embeddings of Boolean algebras with operators

Published on
#logic #boolean-algebra #duality-theorems #modal-logic
82
Views

How can one define a set of formulas inductively, without some base propositions being defined first?

Published on
#logic #propositional-calculus #modal-logic #coalgebras
91
Views

Constructing a path of a fixed finite length

Published on
#graph-theory #automata #modal-logic
139
Views

Relation between $\square A$ and $\lozenge A$ in modal logic

Published on
#logic #modal-logic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.