MATH
Login Or Sign up

List Question

15
71
Views

Problems with basic proof in modal logic (event based)

Published on
#logic #modal-logic
3.5k
Views

What is the difference between intuitionistic, classical, modal and linear logic?

Published on
#logic #type-theory #modal-logic #intuitionistic-logic #linear-logic
293
Views

What is the connection between game theory and (modal) logic?

Published on
#reference-request #logic #soft-question #game-theory #modal-logic
244
Views

Modal Logic: ◊-Distribution

Published on
#logic #modal-logic
186
Views

How can temporal and epistemic logic be combined?

Published on
#logic #modal-logic
831
Views

Is $\Diamond (p \rightarrow q) \rightarrow (\Diamond p \rightarrow \Diamond q)$ valid in K?

Published on
#logic #modal-logic
2.8k
Views

Examples of logical possibility

Published on
#logic #modal-logic
98
Views

Model-theoretic characterization of local modal correspondence

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

Properties of transitive modal frames

Published on
#logic #relations #model-theory #modal-logic #kripke-models
66
Views

Express $V(\diamond \alpha)$ set theoretically in terms of $V(\alpha)$

Published on
#logic #modal-logic
103
Views

What the definition of validity of a formule in a possible Kripke-world in Modal Logic?

Published on
#logic #modal-logic
207
Views

How - in a Kripke model - to define a world by modal formulas true only at them?

Published on
#logic #modal-logic
70
Views

What kind of proof system have Zalta used in "Basic Concepts in Modal Logic"?

Published on
#logic #modal-logic
130
Views

Frames characterised by the formula $ p \to \square_2 \diamond_1 p$

Published on
#logic #modal-logic
258
Views

Modal Logic backward looking modality

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.