Kripke - PDFSEARCH.IO - Document Search Engine

Kripke
Results: 284

#	Item
241	Hundred prisoners and a lightbulb Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:06:52 Philosophical logic Modal logic Non-classical logic Epistemic modal logic Common knowledge Kripke semantics Prisoner of war Counter Partition Logic Mathematics Mathematical logic
242	The Gamut of Dynamic Logics∗ Jan van Eijck† and Martin Stokhof‡ 15th July 2005 Abstract Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks an Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:26:53 Philosophical logic Model theory Non-classical logic Dynamic logic Epistemic modal logic Kripke semantics First-order logic Hoare logic Actor model Logic Mathematical logic Modal logic
243	Dynamic Epistemic Logics Jan van Eijck Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:13:35 Philosophical logic Model theory Metalogic Non-classical logic Epistemic modal logic Kripke semantics Common knowledge Doxastic logic First-order logic Logic Mathematical logic Modal logic
244	Model Checking of Restricted CTL* formulas using ALCKR+ Taufiq Rochaeli and Claudia Eckert Department of Computer Science Technische Universitt Darmstadt {rochaeli,eckert}@sec.informatik.tu-darmstadt.de Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Temporal logic Semantics Ontology Linear temporal logic CTL* Kripke semantics Abox Tbox Interpretation Logic Mathematical logic Philosophy of language
245	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2007-05-11 02:54:57 Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic Mathematical logic Proof theory
246	BOUNDED MODEL-CHECKING FOR BRANCHING-TIME LOGIC Rotem Oshman BOUNDED MODEL-CHECKING FOR BRANCHING-TIME LOGIC Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-07-30 05:06:45 Kripke structure Computer science Automata theory Theoretical computer science Tree automaton
247	Deep Sequent Systems for Modal Logic ¨nnler Kai Bru Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2006-03-24 13:00:48 Mathematics Sequent calculus Sequent Symbol Soundness Kripke semantics Natural deduction Admissible rule Logic Proof theory Mathematical logic
248	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLI[removed]Deep Inference for Hybrid Logic Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27 Philosophical logic Deduction Automated theorem proving Natural deduction Method of analytic tableaux Deduction theorem Kripke semantics Sequent calculus Modal logic Logic Mathematical logic Proof theory
249	2011 Recipient of the Margaret L. Kripke Legend Award Edward J. Benz, Jr., M.D. President, Dana-Farber Cancer Institute Add to Reading List Source URL: www.mdanderson.org Language: English - Date: 2014-02-06 06:48:42 Biotechnology Laboratories Oncologists Dana–Farber Cancer Institute Johns Hopkins School of Medicine William K. Oh Susan Shurin Medicine Health Harvard Medical School
250	Categorical and Kripke Semantics for Constructive S4 Modal Logic Natasha Alechina1 , Michael Mendler2, Valeria de Paiva3 , and Eike Ritter4 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 11:12:09 Modal logic Philosophical logic Non-classical logic Logic in computer science Kripke semantics Intuitionistic logic General frame Natural deduction Interior algebra Logic Mathematical logic Mathematics

UPDATE