Kripke

#	Item
281	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:05 Algebraic structures Semigroup Semilattice Lattice Kripke semantics Linear logic Interpretation Monoid Modal logic Mathematics Abstract algebra Logic
282	PDF Document Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2010-07-25 05:49:05 Binary operations Modal logic Kripke semantics Entailment FO If and only if Dependence logic Logical connective And–or tree Logic Mathematical logic Philosophical logic
283	PDF Document Add to Reading List Source URL: comet.lehman.cuny.edu Language: English - Date: 2013-07-10 12:43:35 Philosophical logic Predicate logic Non-classical logic Semantics Interpretation Kripke semantics First-order logic Modal logic Intensional logic Logic Mathematical logic Model theory
284	PDF Document Add to Reading List Source URL: arxiv.org Language: English Category theory Boolean algebra Modal logic Algebraic logic F-coalgebra Coalgebra General frame Modal algebra Kripke semantics Mathematics Abstract algebra Mathematical logic