Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
161	Probabilistic polynomial-time semantics for a protocol security logic? Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Vitaly Shmatikov2 , and Mathieu Turuani3 1 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:05:08 Model theory Well-formed formula IP Interpretation Logic Metalogic Formal languages
162	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) Add to Reading List Source URL: ezyang.com Language: English - Date: 2015-03-19 00:33:40 Metalogic Logic Structure Programming language Mathematics Formal languages Model theory
163	Semantic Parsing via Paraphrasing Jonathan Berant Stanford University 1 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2014-04-11 22:58:26 Formal languages Algebraic logic Philosophical logic Boolean algebra Formal grammar Entailment Semantics Model theory Function Logic Mathematics Metalogic
164	Knowledge and Communication: A First-Order Theory Ernest Davis 1 Courant Institute, New York University, New York, NYUSA Abstract Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:23:32 Model theory Deduction Entailment Logical consequence Metalogic First-order logic Common knowledge Function Axiom Logic Mathematics Philosophical logic
165	Transforming Situation Calculus Action Theories for Optimised Reasoning Christopher Ewin Adrian R. Pearce Stavros Vassos Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2014-03-04 23:18:30 Logic programming Metalogic Knowledge representation Logic in computer science Situation calculus Frame problem Interpretation Fluent Constructible universe Mathematical logic Logic Model theory
166	Z:er FPer Project (FP)Motion 10te City FPhite City Drive Oxenford, QLD, 4210 RP Data-1 copy Model (1) Add to Reading List Source URL: cdn2.eldersrealestate.com.au Language: English - Date: 2015-05-02 14:23:44 Analytic philosophy Philosophy of language Propositional calculus Logical syntax Metalogic Truth Proposition Sentence Gottlob Frege Logic Philosophy Philosophical logic
167	Rethinking Language, Mind, and Meaning - Chapter 1 Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2015-03-17 11:49:59 Analytic philosophy Philosophy of language Propositional calculus Logical syntax Metalogic Truth Proposition Sentence Gottlob Frege Logic Philosophy Philosophical logic
168	arXiv:1312.6192v4 [cs.CL] 15 FebCan recursive neural tensor networks learn logical reasoning? Samuel R. Bowman Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-02-17 20:18:31 Philosophical logic Logical consequence Metalogic First-order logic Word-sense disambiguation Quantification Entailment Inference Resolution Logic Predicate logic Semantics
169	HSCConstructionHIGHER SCHOOL CERTIFIC ATE EXAMINATION Construction Add to Reading List Source URL: arc.boardofstudies.nsw.edu.au Language: English - Date: 2003-06-16 04:28:54 Metalogic Symbol Punctuation Logic Abstraction Logical syntax
170	A First-Order Theory of Communicating First-Order Formulas Ernest Davis∗ Courant Institute New York University Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2004-10-07 15:48:12 Entailment Logical consequence Metalogic Modal logic Epistemic modal logic Unexpected hanging paradox Strength of materials Logic Philosophical logic Deduction

UPDATE