MATH
Login Or Sign up

List Question

15
733
Views

Counter examples in modal logic

Published on
#logic #examples-counterexamples #modal-logic #kripke-models
187
Views

Quantified Modal Logic - How does an existence predicate help with a fixed-domain model?

Published on
#quantifiers #modal-logic
83
Views

Modal logic with MLp as an axiom

Published on
#logic #modal-logic
139
Views

From modal to classical logic

Published on
#logic #modal-logic
658
Views

Maximal Consistent Sets of wff

Published on
#propositional-calculus #modal-logic
475
Views

$\sf K$-proof of $(\Box p \land \Diamond q) \rightarrow \Diamond (p\land q)$

Published on
#modal-logic
571
Views

Problem set of modal logic with solution

Published on
#reference-request #modal-logic
416
Views

Determine a modal logic formula which a connective that is not valid but is true

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

What is the Upper-Bound for a Kripke Model in Normal Modal Logics?

Published on
#logic #reference-request #upper-lower-bounds #modal-logic #kripke-models
155
Views

Understanding The First Axiom Of Gödel's Ontological Proof

Published on
#logic #modal-logic #higher-order-logic #kripke-models
205
Views

Modal operators are not extensional

Published on
#logic #modal-logic
94
Views

Logic with (user defined) (modal) functions that can accept sentences (propositions, formulas) as arguments

Published on
#logic #modal-logic
55
Views

Possible Worlds Semantics and Modal Logic

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

Maximal (or prime) theories and their sets

Published on
#logic #propositional-calculus #proof-theory #modal-logic #intuitionistic-logic
286
Views

Irreflexivity ($\neg Rxx\ \forall x$) is not modally definable. Why are these frames bisimilar?

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