MATH
Login Or Sign up

List Question

15
144
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
117
Views

Modal formula connectives unraveling

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

Looking for recommendations on modeling a problem

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

Modal logic and validity (Hughes and Cresswell)

Published on
#modal-logic
200
Views

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

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

PDL without converse operator -

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

Looking for help in defining a new epistemic logic.

Published on
#logic #model-theory #modal-logic
176
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
94
Views

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

Published on
#logic #proof-explanation #boolean-algebra #modal-logic
268
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
110
Views

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

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

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

Published on
#modal-logic
686
Views

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