Kripke - PDFSEARCH.IO - Document Search Engine

Kripke
Results: 284

#	Item
91	A modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science University of Ghent (Belgium) June 27, 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-27 07:55:59 Model theory Proof theory Propositional calculus Natural deduction Entailment Modal logic Interpretation Valuation Kripke semantics Logic Philosophical logic Deduction
92	Five Questions on Epistemic Logic John F. Sowa This is a preprint of Chapter 23 in Epistemic Logic: 5 Questions, edited by Vincent F. Hendricks & Olivier Roy, Automatic Press, New York, 2010, pp[removed]Why were you Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2010-11-10 10:18:59 Modal logic Philosophical logic Charles Sanders Peirce Logicians Existential graph Epistemic modal logic Kripke semantics Deontic logic Jaakko Hintikka Logic Philosophy Mathematical logic
93	Worlds, Models, and Descriptions John F. Sowa Abstract. Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2006-11-26 09:39:33 Modal logic Philosophical logic Semantics Philosophy of language Possibility Kripke semantics Modal realism Accessibility relation Possible world Logic Philosophy Mathematical logic
94	Semantics and Ontology in Quantified Modal Logic Stefano Borgo and Claudio Masolo Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy {borgo, masolo}@loa-cnr.it Philosophical logic studies the relationships between Add to Reading List Source URL: www.loa.istc.cnr.it Language: English - Date: 2011-09-21 10:21:33 Philosophical logic Model theory Possibility Predicate logic Kripke semantics Possible world Mereology Accessibility relation Interpretation Logic Mathematical logic Modal logic
95	Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1 Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-08-20 15:39:34 Modal logic Model theory Symbol Kripke semantics Epistemic modal logic Interpretation Dynamical system Logic Mathematical logic Philosophical logic
96	Microsoft PowerPoint - TemporalLogic.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Mathematics Linear temporal logic CTL* Entailment Kripke structure Function Golden ratio Modal logic Logic Temporal logic Mathematical logic
97	Explanatory-Role Functionalism Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-06-02 09:04:04 Pain Cognitive science Materialism Physicalism Functionalism Causality Type physicalism Philosophical zombie Saul Kripke Philosophy of mind Philosophy Mind
98	Introduction LTL model checking CTL model checking Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-01 22:24:18 Formal methods Theoretical computer science Model checkers Logic in computer science Kripke structure PAT Binary decision diagram Turing Award Algorithm Model checking Mathematics Temporal logic
99	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:05:46 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming
100	JAF26/Weak Arithmetics Days Seville, June 11–13, 2007 Self-applied proof verification (Extended abstract)? Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:52:10 Philosophical logic Model theory Predicate logic Metalogic Mathematical proof Kripke semantics Correctness Quantification Function Logic Mathematics Mathematical logic

UPDATE