Kripke - PDFSEARCH.IO - Document Search Engine

Kripke
Results: 284

#	Item
71	TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2009-01-28 11:49:26 Epistemic modal logic Normal modal logic Deontic logic Common knowledge Temporal logic Dynamic logic Kripke semantics Multimodal logic Logic Mathematical logic Modal logic
72	Possible Worlds, Belief, and Modal Logic: a Tutorial Anthony H. Dekker∗ October 5, 2004 1 Add to Reading List Source URL: members.ozemail.com.au Language: English - Date: 2004-10-04 23:29:25 Modal logic Epistemic modal logic Doxastic logic Entailment Epistemology Possible world Truth Kripke semantics Mereology Logic Mathematical logic Philosophical logic
73	The Modal Problem for Descriptivism Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-10-22 10:05:08 Analytic philosophy Logic Modal logic Philosophy of language Names Saul Kripke Analytic philosophers Philosophy Logicians
74	Equivalences for Fair Kripke Structures Adnan Aziz∗ Robert Brayton‡ Felice Balarin† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2005-09-23 01:02:50 Mathematical logic Mathematics Computation tree logic Bisimulation Kripke structure Model theory Equivalence relation CTL* Fair computational tree logic Temporal logic Logic in computer science Theoretical computer science
75	Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic Malvin Gattinger1 and Jan van Eijck2 1 2 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-25 11:31:05 Model theory Philosophical logic Modal logic Interpretation Constructible universe Kripke semantics If and only if Golden ratio Valuation Logic Mathematical logic Mathematics
76	Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 08:58:37 Model theory Modal logic Non-classical logic Kripke semantics Entailment Structure Epistemic modal logic Linear temporal logic Μ operator Logic Mathematical logic Philosophical logic
77	Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:13:05 Aspect-oriented programming Join point Linear temporal logic AspectJ Pointcut Formal verification Model checking Kripke structure Temporal logic Software development Software Aspect-oriented software development
78	Aspect Categories and Classes of Temporal Properties Shmuel Katz Computer Science The Technion Haifa Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-27 04:16:54 Models of computation Temporal logic UML diagrams Aspect-oriented programming Abstraction Grammatical aspect Kripke structure Programming language Monad Software development Aspect-oriented software development Software engineering
79	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-04 14:06:26 Model theory Relational model Query languages Models of computation FO Finite model theory Null Kripke semantics SQL Logic Mathematical logic Mathematics
80	Pattern Logics and Auxiliary Relations Diego Figueira Leonid Libkin University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-04 14:09:13 Mathematical logic Structure Finite model theory FO Kripke semantics String First-order logic Interpretation Theory Logic Model theory Mathematics

UPDATE