MATH
Login Or Sign up

List Question

15
148
Views

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

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

Why is this epistemic logic situation valid

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

Can you have set theories with modal logical operators?

Published on
#elementary-set-theory #modal-logic
206
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
65
Views

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

Published on
#logic #modal-logic
185
Views

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

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

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

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

Non-bisimilar models

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

Does modal replacement hold in modal logic of forcing?

Published on
#set-theory #forcing #modal-logic
147
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
144
Views

Formalizing a self referential sentence

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

The specialty of canonical embeddings of Boolean algebras with operators

Published on
#logic #boolean-algebra #duality-theorems #modal-logic
78
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
88
Views

Constructing a path of a fixed finite length

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

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

Published on
#logic #modal-logic

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.