Kripke - PDFSEARCH.IO - Document Search Engine

Kripke
Results: 284

#	Item
191	On the Tractability of Comparing Informational Structures∗ C´edric D´egremont1 , Lena Kurzen2 , and Jakub Szymanik3 1, 3 2 Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-11-28 09:21:46 Philosophical logic Modal logic Model theory Complexity classes Theoretical computer science Bisimulation Kripke semantics Epistemic modal logic Saul Kripke Logic Mathematical logic Mathematics
192	Synthese[removed]:371–408 DOI[removed]s11229[removed]Exploring the tractability border in epistemic tasks Cédric Dégremont · Lena Kurzen · Jakub Szymanik Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-03-11 16:51:33 Philosophical logic Model theory Non-classical logic Epistemic modal logic Common knowledge Kripke semantics Closure Interpretation Logic Mathematical logic Modal logic
193	Under consideration for publication in Math. Struct. in Comp. Science A Relational Model of Non-Deterministic Dataflow Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-05-12 10:41:14 Theoretical computer science Monoidal categories Logic in computer science Computer architecture Programming language semantics Dataflow Kahn process networks Operational semantics Kripke semantics Models of computation Mathematics Logic
194	On induction vs. -continuity Add to Reading List Source URL: www.cs.cornell.edu Language: English* - Date: 2013-06-11 18:45:23 Algebraic structures Kripke semantics Boolean algebra Model theory Kleene algebra Boolean algebras canonically defined C*-algebra Mathematics Mathematical logic Logic
195	Generalized Topological Semantics for First-Order Modal Logic Kohei Kishida 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Model theory Philosophical logic Philosophy of language Kripke semantics Interpretation First-order logic Epistemic modal logic Classical logic Proposition Logic Mathematical logic Modal logic
196	Kripke’s Revenge∗ Theodore Sider and David Braun Philosophical Studies[removed]): 669–682 Millianism says that the semantic content of a name (or indexical) is simply Add to Reading List Source URL: tedsider.org Language: English - Date: 2008-02-24 14:00:24 Propositional calculus Logical consequence Analytic philosophers Metaphysicians Saul Kripke Intuition Lois Lane Proposition Entailment Logic Philosophy Logical syntax
197	Comments on Saul Kripke’s Philosophical Troubles∗ Ted Sider December 2013, Eastern APA 1. Introduction Add to Reading List Source URL: tedsider.org Language: English - Date: 2014-05-17 12:24:42 Philosophical logic Philosophy of language Semantics Meaning Analytic philosophers Sense and reference Saul Kripke Naming and Necessity Gottlob Frege Analytic philosophy Philosophy Logic
198	Bibliography on worlds and modality All abstracts from the Philosopher’s Index except SMALLCAPS abstracts/comments, which are by me. Selected, topical bibliography Overall: Kripke 1972; Lewis 1986 Actualism: Adams 1974 Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-05-07 15:29:59 Modal logic Philosophical logic Analytic philosophers Logicians Possibility Modal realism Possible world Counterpart theory Intensional logic Logic Philosophy Mathematical logic
199	I probably won’t revise or publish this paper; feel free to cite. Beyond the Humphrey Objection∗ Theodore Sider Draft of 2006 Add to Reading List Source URL: tedsider.org Language: English - Date: 2010-10-10 14:21:05 Philosophical logic Semantics Modal logic Meaning Philosophy of language Counterpart theory Saul Kripke Possible world Modal realism Logic Philosophy Analytic philosophy
200	The Focused Constraint Inverse Method for Intuitionistic Modal Logics Sean McLaughlin and Frank Pfenning Carnegie Mellon University Abstract. We present a focused inverse method for proof search in a variety of Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-25 08:50:19 Philosophical logic Model theory Deduction Modal logic Natural deduction Admissible rule Entailment Curry–Howard correspondence Kripke semantics Logic Mathematical logic Proof theory

UPDATE