Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
61	Definability for Downward and Vertical XPath on Data Trees Sergio Abriola1 , Mar´ıa Emilia Descotte1 , and Santiago Figueira1,2 1 University of Buenos Aires, Argentina Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2014-11-18 05:43:25 Metalogic Ultraproduct Sheaf First-order logic Model theory Mathematical logic Logic
62	Mind & Language Vol. 5 No. 3 Autumn 1990 ISSNBlackwell Add to Reading List Source URL: www.timcrane.com Language: English - Date: 2014-08-31 17:33:56 Grammar Cognition Logical syntax Metalogic Language of thought hypothesis Semantics Intentionality Functionalism Syntax Philosophy of mind Linguistics Cognitive science
63	RAPID COMMUNICATIONS PHYSICAL REVIEW B 88, RCondensate-induced transitions and critical spin chains Teresia M˚ansson,1 Ville Lahtinen,2,3 Juha Suorsa,2 and Eddy Ardonne2,4 Add to Reading List Source URL: www.fysik.su.se Language: English - Date: 2013-07-16 10:41:09 Metalogic Model theory Parity Support Orbifold Physics Quantum field theory Quantum mechanics
64	Discussion Paper NoEVOLUTION OF COMPETITIVE EQUILIBRIUM WITH ENDOGENOUS PRODUCT DIFFERENTIATION Add to Reading List Source URL: www.iser.osaka-u.ac.jp Language: English - Date: 2010-05-24 00:21:55 Entailment Logical syntax Metalogic Philosophical logic Stochastically stable equilibrium Logic Evolutionary game theory Game theory
65	Introduction 0-1 Law for Bernays-Sch¨ onfinkel Negative Results Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-04-18 18:43:59 Mathematics Metalogic Formal languages First-order logic Predicate logic Boolean satisfiability problem Well-formed formula Satisfiability Second-order logic Logic Mathematical logic Model theory
66	esting unit root in Smooth Transition Autoregressive (STAR) models Add to Reading List Source URL: www.statistics.du.se Language: English - Date: 2009-11-24 08:00:12 Deduction Normal distribution Entailment Distribution Model theory Logic Mathematical analysis Metalogic
67	Binding Logi : proofs and models Gilles Dowek1 , Therese Hardin2 , and Claude Kir hner3 1 3 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Metalogic Model theory Predicate logic Structure Free variables and bound variables FO Arity Mathematics Universal algebra Mathematical logic
68	BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-06 03:22:49 Applied mathematics Mathematical logic Order theory Logic in computer science Metalogic Model theory Equational logic Simulation preorder Preorder Mathematics Logic Theoretical computer science
69	Decision Problems for Additive Regular Functions Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 09:21:06 Mathematics Models of computation Metalogic Structure Universal algebra FO Model theory String Symbol Automata theory Theoretical computer science Formal languages
70	TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2007-04-02 08:29:00 Formal languages Logical syntax Philosophical logic Method of analytic tableaux Interpretation Entailment Modal logic Model theory Symbol Logic Metalogic Propositional calculus