Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
91	Future event logic - axioms and complexity Hans van Ditmarsch Logic, University of Sevilla, Spain Tim French Computer Science and Software Engineering, The University of Western Australia Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:06 Model theory Deduction Modal logic Metalogic Entailment Interpretation Kripke semantics Epistemic modal logic Soundness Logic Mathematical logic Philosophical logic
92	Decidability of trace equivalence for protocols with nonces R´emy Chr´etien∗ † , V´eronique Cortier∗ , and St´ephanie Delaune † Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-05-28 08:43:13 Modal logic Metalogic Model theory Symbol
93	SMT Solvers: Theory and Implementation Summer School on Logic and Theorem Proving Leonardo de Moura Microsoft Research Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Model theory Predicate logic Formal languages Metalogic Satisfiability Modulo Theories Interpretation Well-formed formula Structure Term Logic Mathematical logic Mathematics
94	A Superpolynomial Lower Bound for Strategy Iteration based on Snare Memorization Oliver Friedmann February 13, 2013 Abstract This paper presents a superpolynomial lower bound for the recently proposed snare memorization Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-02-13 06:59:41 Symbol Determinacy Parity game Structure Model theory Metalogic Logic Mathematics
95	Advances in Applied Mathematics–466 www.elsevier.com/locate/yaama Smoothness of Schubert varieties via patterns in root subsystems Sara Billey a,1,∗ , Alexander Postnikov b,2 Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2006-04-26 18:46:55 Lie groups Lie algebras Metalogic Model theory Euclidean geometry Root system Weyl group Entailment Embedding Abstract algebra Mathematics Logic
96	EasyCrypt Reference Manual Version 1.x — Compiled on June 9, Tactics Add to Reading List Source URL: www.easycrypt.info Language: English - Date: 2015-06-09 06:17:55 Predicate logic Logical syntax Metalogic Generalization Well-formed formula Logic Rules of inference Mathematical logic
97	Ordered Sets in the Calculus of Data Structures Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-06-07 15:38:49 Metalogic Model theory Elementary mathematics Formal languages Function Finite set Infinity Quantifier elimination Set Mathematics Logic Mathematical logic
98	Comparison Geometry MSRI Publications Volume 30, 1997 Applications of Quasigeodesics and Gradient Curves Add to Reading List Source URL: library.msri.org Language: English - Date: 1998-06-23 18:39:54 Logical syntax Metalogic Philosophical logic Propositional calculus Geodesic Logic Deduction Entailment
99	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 A Survey on the Model Theory of Difference Fields Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:44:34 Mathematical logic Model theory Metalogic Structure Sigma-ideal Sigma-algebra Spinor Mathematics Mathematical analysis Measure theory
100	Weak Dynamic Programming for Generalized State Constraints ∗ Bruno Bouchard Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2012-10-19 17:18:24 Deduction Operations research Entailment Logical consequence Metalogic Random variable Dynamic programming Monotone convergence theorem Logic Mathematical analysis Mathematics