MATH
Login Or Sign up

List Question

15
100
Views

Axioms in Modal Logics together with restrictions

Published on
#logic #modal-logic
677
Views

How do I read double connectives in modal logic?

Published on
#modal-logic
71
Views

Seeking general information about modal probability arithmetic

Published on
#reference-request #model-theory #first-order-logic #modal-logic #algorithmic-randomness
70
Views

Public announcements and knowledge(necessity)

Published on
#logic #modal-logic
272
Views

I am looking for a soundness, completeness and consistency proof for this particular $S5$ calculus.

Published on
#calculus #modal-logic #kripke-models
221
Views

Are there any invalid $S5$-formulas $\psi$ such that $\diamond\psi$ is valid?

Published on
#logic #proof-writing #proof-theory #modal-logic #kripke-models
258
Views

Modal and Epistemic Logic

Published on
#logic #modal-logic
103
Views

Proof of $\Box (A\land B) \leftrightarrow \Box A \land \Box B$ in propositional modal logics

Published on
#logic #modal-logic
812
Views

Modal logic Box and diamond T

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

Understanding a compactness proof for modal logics which uses a standard translation

Published on
#compactness #proof-explanation #first-order-logic #modal-logic #satisfiability
532
Views

Disjunction and conjunction in modal logic

Published on
#modal-logic
214
Views

Compactness of modal logic by proving existence of a model for a maximal set (using Zorn's lemma)

Published on
#proof-writing #compactness #order-theory #model-theory #modal-logic
405
Views

Does modal logic require set theory?

Published on
#logic #set-theory #modal-logic
164
Views

Some modal principles (related to monads) and the deduction theorem (in Propositional Lax Logic)

Published on
#logic #category-theory #lambda-calculus #modal-logic #intuitionistic-logic
608
Views

A sequent calculus proof

Published on
#logic #proof-theory #modal-logic #sequent-calculus

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.