MATH
Login Or Sign up

List Question

15
727
Views

Counter examples in modal logic

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

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

Published on
#quantifiers #modal-logic
77
Views

Modal logic with MLp as an axiom

Published on
#logic #modal-logic
131
Views

From modal to classical logic

Published on
#logic #modal-logic
652
Views

Maximal Consistent Sets of wff

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

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

Published on
#modal-logic
564
Views

Problem set of modal logic with solution

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

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

Published on
#logic #modal-logic #kripke-models
87
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
143
Views

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

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

Modal operators are not extensional

Published on
#logic #modal-logic
87
Views

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

Published on
#logic #modal-logic
48
Views

Possible Worlds Semantics and Modal Logic

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

Maximal (or prime) theories and their sets

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

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

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