Kripke - PDFSEARCH.IO - Document Search Engine

Kripke
Results: 284

#	Item
221	Message-Generated Kripke Semantics Jan van Eijck and Floor Sietsma Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-29 06:42:48 Modal logic Formal languages Philosophical logic Epistemic modal logic Interpretation Common knowledge Kripke semantics Constructible universe Linear temporal logic Logic Mathematical logic Model theory
222	Verifying One Hundred Prisoners and a Lightbulb Hans van Ditmarsch, Jan van Eijck and William Wu Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:05:35 Philosophical logic Artificial intelligence Epistemic modal logic Common knowledge Kripke semantics Communications protocol Closure Prisoner of war Logic Mathematical logic Modal logic
223	Composing Models Jan van Eijck, Yanjing Wang, and Floor Sietsma Centrum Wiskunde en Informatica, Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:13:30 Philosophical logic Kripke semantics Modal logic Sheaf theory Vehicle Identification Number Constructible universe Logic Mathematical logic Model theory
224	Edward N. Zalta Logical and Analytic Truths That Are Not Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:19:57 Entailment Modal logic Analytic–synthetic distinction Logical truth Interpretation First-order logic A priori and a posteriori Saul Kripke Propositional calculus Logic Philosophy Philosophical logic
225	Bernard Linsky and Edward N. Zalta In Defense of Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:08:05 Saul Kripke Kripke semantics Actualism S5 QML Interpretation Possible world First-order logic Accessibility relation Logic Mathematical logic Modal logic
226	Edward N. Zalta Twenty-Five Basic Theorems in Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2008-09-12 12:09:07 Modal logic Ontology Abstraction Semantics Philosophical logic Situation semantics Saul Kripke Truth Event Logic Philosophy Mathematical logic
227	Microsoft PowerPoint - all-lectures-markt07 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-08-04 08:21:38 Mathematical logic Mathematics Science Metalogic Kripke structure Well-formed formula Symbolic trajectory evaluation Linear temporal logic Logic Model checking Temporal logic
228	An extended predicative definition of the Mahlo universe Reinhard Kahle Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2010-02-07 19:53:07 Ordinal numbers Proof theory Ordinal analysis Constructible universe Impredicativity Function Model theory Zermelo–Fraenkel set theory Kripke–Platek set theory Mathematics Mathematical logic Logic
229	Algebraic Simulations Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:15:07 Theoretical computer science Applied mathematics Constructible universe Bisimulation Mathematics Temporal logic Kripke structure Model checking
230	Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2004-08-30 16:16:42 Deduction Linear temporal logic Algebraic topology Model checking Entailment Admissible rule Abstract interpretation Kripke structure Interpretation Logic Mathematical logic Temporal logic

UPDATE