Kripke - PDFSEARCH.IO - Document Search Engine

Kripke
Results: 284

#	Item
21	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
22	Variations on a Theme by Yablo Hartry Field Naive truth theory is, roughly, the theory of truth that in classical logic leads to well-known paradoxes (such as the Liar paradox and the Curry paradox). One response to thes Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Non-classical logic Philosophical logic Model theory Mathematical logic Logical connectives Saul Kripke Modal logic First-order logic Truth function Negation Logic Liar paradox
23	Microsoft Word - CV.bak.DOC Add to Reading List Source URL: philosophy.ucsb.edu Language: English - Date: 2015-07-13 19:18:55 Analytic philosophers American philosophers Metaphysicians Nathan Salmon David Kaplan Gottlob Frege Saul Kripke Scott Soames Truth John Perry James Higginbotham
24	On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:45 Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction First-order logic Sequent Intuitionistic logic Kripke semantics Interpretation Mathematical logic
25	Microsoft Word - vita 2007.doc Add to Reading List Source URL: www.philosophy.ucsb.edu Language: English - Date: 2015-07-13 19:18:47 American philosophers Analytic philosophers Philosophical logic Guggenheim Fellows Logic Philosophy of logic Saul Kripke David Kaplan C. Anthony Anderson Modal logic Intensional logic Intension
26	Proof Theory for Admissible Rules Rosalie Iemhoff 1 Department of Philosophy Utrecht University Bestuursgebouw Heidelberglaan 6-8 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-03-24 09:48:00 Modal logic Non-classical logic Proof theory Logic in computer science Philosophical logic Admissible rule Sequent Normal modal logic Intermediate logic Kripke semantics Intuitionistic logic General frame
27	STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2014-09-10 14:56:21 Modal logic Non-classical logic Model theory Boolean algebra Philosophical logic Kripke semantics Interior algebra Heyting algebra Embedding Intermediate logic Normal modal logic Substitution
28	Does Changing the Subject From A to B Really Provide an Enlarged Understanding of A? Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2015-12-30 14:58:31 Philosophical logic Philosophy of mathematics Analytic philosophers Mathematical logic Guggenheim Fellows Gottlob Frege Logicism The Foundations of Arithmetic Philosophy of logic Foundations of mathematics Saul Kripke Meaning
29	Power Kripke-Platek set theory and the axiom of choice Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England, Abstract Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2014-04-02 04:48:18
30	Fragments of Kripke–Platek Set Theory with Infinity Michael Rathjen ∗ Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 11:13:14

UPDATE