Kripke - PDFSEARCH.IO - Document Search Engine

Kripke
Results: 284

#	Item
201	This essay is chapter 18 of Concealment and Exposure and Other Essays (New York, Oxford University Press, [removed]An earlier version appeared in New Essays on the A Priori, Paul Boghossian and Christopher Peacocke, eds. ( Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2003-04-01 15:06:12 Cognitive science Materialism Physicalism Cognition A priori and a posteriori Naming and Necessity Saul Kripke Type physicalism Functionalism Philosophy Mind Dichotomies
202	The Semantics of Predicate Logic as a Programming Language M. H. VAN E M D E N A N D R. A. K O W A L S K I Umverslty of Edinburgh, Edmburgh. Scotland ABSTRACT Sentences in first-order predicate logic can be usefully inte Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:03 Metalogic Term algebra Interpretation FO First-order logic Kripke semantics Combinatory logic Logic Mathematical logic Model theory
203	Forcing in proof theory∗ Jeremy Avigad November 3, 2004 Abstract Paul Cohen’s method of forcing, together with Saul Kripke’s related Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-05-28 20:12:31 Philosophical logic Propositional calculus Boolean algebra Metalogic Intuitionistic logic Kripke semantics Saul Kripke Negation Entailment Logic Mathematical logic Model theory
204	Belief contraction through safe formulas Viktoriia Kozyreva Ufa State Aviation Technical University Ufa, Russia Center for Artificial Intelligence (CENTRIA), New University of Lisbon, Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2012-07-09 04:55:23 Standard translation Belief revision First-order logic Accessibility relation Interpretation Modal operator Modal companion Kripke semantics Logic Mathematical logic Modal logic
205	Modal Logic Carnegie Mellon University Fall 2012 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2012-08-24 16:10:09 Kripke semantics Epistemic modal logic First-order logic Deontic logic Temporal logic Dynamic logic Neighborhood semantics Saul Kripke Multimodal logic Logic Mathematical logic Modal logic
206	Modeling of Phenomena and Dynamic Logic of Phenomena Boris Kovalerchuk1, Leonid Perlovsky2, Gregory Wheeler3 Draft of September 1, [removed]Central Washington University, Dept. of Computer Science, USA, [removed] 2 Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2011-09-01 06:17:34 Model theory Predicate logic Philosophical logic Mereology Interpretation Kripke semantics First-order logic Modal logic Function Logic Mathematical logic Mathematics
207	AGM Belief Revision in Monotone Modal Logics Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:21 Philosophical logic Model theory Metalogic Propositional calculus Interpretation Kripke semantics Entailment First-order logic Neighborhood semantics Logic Mathematical logic Modal logic
208	© Copyright, Princeton University Press. No part of this book may be distributed, posted, or reproduced in any form by digital or mechanical means without prior written permission of the publisher. Introduction Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2014-02-25 16:15:04 Philosophical logic Analytic philosophers Logicians Empiricism A priori and a posteriori Willard Van Orman Quine Two Dogmas of Empiricism Saul Kripke Proposition Philosophy Logic Analytic philosophy
209	Modal vs. Propositional Reasoning for Model Checking with Description Logic Shoham Ben-David Richard Trefler Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Temporal logic Kripke structure Model checking FO Model theory Logic Mathematical logic Theoretical computer science
210	Logics for Information Update a tutorial for TARK Siena 2001 J o h a n van B e n t h e m johan@{illc.uva.nl, csli.stanford.edu} ILLC Amsterdam & CSLI Stanford Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Modal logic Model theory Branches of philosophy Metalogic Epistemic modal logic Kripke semantics Common knowledge Bisimulation Belief revision Logic Mathematical logic Philosophical logic

UPDATE