Kripke - PDFSEARCH.IO - Document Search Engine

Kripke
Results: 284

#	Item
81	When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:18:09 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
82	Model-Checking Overview of Automated Verification SW/HW SW/HW artifact Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-06 13:57:58 Mathematical logic Formal languages Logical syntax Philosophy of language Interpretation Computation tree logic Well-formed formula Function Kripke structure Logic Mathematics Temporal logic
83	/media/Cruzer/mandriva/facs12/ipg-encoding-4.fig Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-02-18 22:56:06 Entailment Logical consequence Metalogic Preference Credential Kripke semantics Client–server model Logic Philosophical logic Deduction
84	JAF26/Weak Arithmetics Days Seville, June 11–13, 2007 Self-applied proof verification (Extended abstract)? Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:52:10 Philosophical logic Model theory Predicate logic Metalogic Mathematical proof Kripke semantics Correctness Quantification Function Logic Mathematics Mathematical logic
85	I:/Ganesh/Research/AAAI2011/camera-ready/aaai-2011-camera-ready-vh-edited.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:22:51 Temporal logic Networks Theoretical computer science Model checking Search algorithms Kripke structure A* search algorithm Connectivity Linear temporal logic Graph theory Mathematics Network theory
86	I:/Ganesh/Research/AAAI2010/santhanam-aaai2010/santhanam-aaai2010.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-07-12 23:06:40 Model theory NuSMV Constructible universe Kripke semantics Mathematical logic Logic Mathematics
87	Social Laws for Multi-Agent Systems: Logic and Games.5cm Lecture 1: Specifying and verifying state-transition models Add to Reading List Source URL: www.nii.ac.jp Language: English* - Date: 2012-02-02 20:36:54 Mathematics Philosophical logic Kripke semantics Model theory Sheaf theory Model checking Temporal logic Agent-based model Economic model Logic Mathematical logic Modal logic
88	Philosophy Poster v2 Print Add to Reading List Source URL: kieranhealy.org Language: English - Date: 2013-07-03 11:27:14 Norwegian Academy of Science and Letters Saul Kripke Logic Science North Melbourne Football Club honour roll Meldola Medal and Prize Philosophy Logicians Metaphysicians
89	Partiality as nondeterminism Yngve Lamo Michal Walicki Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-03-09 04:39:36 Logic Symbol Interpretation Structure Constructible universe Sheaf Function Sigma-algebra Kripke–Platek set theory Mathematics Model theory Mathematical logic
90	Article title: A modal type theory for formalizing trusted communications Reference: JAL252 Journal title: Journal of Applied Logic Corresponding author: Dr. Giuseppe Primiero First author: Dr. Giuseppe Primiero Online p Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-03-03 10:07:20 Modal logic Semantics Model theory Branches of philosophy Epistemic modal logic Common knowledge Kripke semantics Modal operator Trust Logic Mathematical logic Philosophical logic

UPDATE