Kripke - PDFSEARCH.IO - Document Search Engine

Kripke
Results: 284

#	Item
271	PDF Document Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2006-02-09 10:44:04 Model theory Philosophical logic Non-classical logic Propositional calculus Interpretation Kripke semantics Neighborhood semantics Epistemic modal logic First-order logic Logic Mathematical logic Modal logic
272	PDF Document 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
273	PDF Document Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2004-10-08 18:46:07 Model theory Metalogic Modal logic Logic in computer science Admissible rule Curry–Howard correspondence Kripke semantics Interpretation Intermediate logic Logic Mathematical logic Propositional calculus
274	PDF Document Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2008-08-22 09:54:26 American Sign Language Computability theory Association for Symbolic Logic John Myhill Nels David Nelson Anil Nerode Saul Kripke Mereology Logic Mathematical logic Philosophy
275	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English Algebraic logic Philosophical logic Modal logic Algebraic structures General frame Kripke semantics Entailment Modal algebra Lindenbaum–Tarski algebra Logic Mathematical logic Mathematics
276	PDF Document Add to Reading List Source URL: project.iu.hio.no Language: English - Date: 2006-01-18 08:50:43 Mathematics Modal logic Non-classical logic Kripke semantics Futures and promises Temporal logic Kripke structure Promise Promise theory Logic Mathematical logic Philosophical logic
277	PDF Document Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-08-24 10:32:43 Cognitive science Materialism Physicalism Cognition A priori and a posteriori Naming and Necessity Saul Kripke Type physicalism Functionalism Philosophy Mind Dichotomies
278	PDF Document Add to Reading List Source URL: philo.ruc.edu.cn Language: English - Date: 2008-12-25 08:07:55 Model theory Modal logic Philosophical logic Non-classical logic Kripke semantics Sheaf theory First-order logic Bisimulation F-coalgebra Logic Mathematical logic Mathematics
279	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2004-08-30 12:48:53 Philosophical logic Model theory Modal logic Interpretation Well-formed formula Logical connective First-order logic Saul Kripke Logic Mathematical logic Formal languages
280	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-22 10:08:52 Modal logic Philosophical logic Metalogic Formal languages Linear temporal logic Interpretation First-order logic Temporal logic Kripke semantics Logic Mathematical logic Model theory

UPDATE