MATH
Login Or Sign up

List Question

15
515
Views

Converse of Axiom K

Published on
#modal-logic
233
Views

A complicated, curious tableaux proof rule for Intuitionistic S4

Published on
#logic #notation #proof-theory #modal-logic #intuitionistic-logic
136
Views

Some properties of l-bisimulation

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

Fully truth-functional version of modal logic?

Published on
#modal-logic #nonclassical-logic
210
Views

Mathematical logic - problem in basic modal logic

Published on
#logic #modal-logic
71
Views

Epistemic modal logic: Understanding E_G and D_G when they are stacked.

Published on
#logic #modal-logic
80
Views

Does the modal logic K have a sole sufficient operator?

Published on
#logic #binary-operations #modal-logic
114
Views

Does the inverse of the distribution of a modal operator also hold?

Published on
#logic #modal-logic
104
Views

writing proofs in modal logic

Published on
#modal-logic
122
Views

Modal logic formulation

Published on
#proof-verification #logic #modal-logic #higher-order-logic
711
Views

Axioms in Gödel's ontological proof are inconsistent?

Published on
#logic #philosophy #fake-proofs #modal-logic #higher-order-logic
333
Views

Church-Rosser property and normal modal logic

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

frame and dual frame of modal logic

Published on
#logic #model-theory #boolean-algebra #modal-logic
212
Views

Is the $D$ modal logic necessarily serial?

Published on
#modal-logic
230
Views

Obtaining a formal proof (derivation) in modal logic

Published on
#logic #formal-proofs #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.