MATH
Login Or Sign up

List Question

15
141
Views

Applying the necessitation rule in semantic tableaux

Published on
#logic #proof-theory #modal-logic
1k
Views

Why, intuitively, is Lob's theorem true?

Published on
#logic #modal-logic
113
Views

Modal formula connectives unraveling

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

Looking for recommendations on modeling a problem

Published on
#metric-spaces #mathematical-modeling #modal-logic
58
Views

Modal logic and validity (Hughes and Cresswell)

Published on
#modal-logic
197
Views

Ehrenfeucht-Fraisse games and first order formulas in one free variable

Published on
#first-order-logic #modal-logic
51
Views

PDL without converse operator -

Published on
#logic #graph-theory #modal-logic
86
Views

Looking for help in defining a new epistemic logic.

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

$\mathcal{M} \models \Box \phi \rightarrow \Box \Box \phi$ for all $\phi$ if and only if $\mathcal{M}$ is transitive

Published on
#logic #modal-logic #kripke-models
2.1k
Views

How does Modal Logic differ from Ordinary Predicate Logic?

Published on
#logic #modal-logic
91
Views

(Blackburn's book) Question regarding a lemma about ultrafilter extension

Published on
#logic #proof-explanation #boolean-algebra #modal-logic
266
Views

When does $(\square P \land \square Q) \to \square (P \land Q)$ hold?

Published on
#logic #propositional-calculus #proof-theory #modal-logic #hilbert-calculus
107
Views

(Blackburn's textbook) Find an $n$-bisimulation relation between the following models

Published on
#logic #proof-explanation #modal-logic
140
Views

How prove or refute $\diamond \Box A$ → A characterizes symmetry

Published on
#modal-logic
683
Views

prove that a frame is symmetric 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.