Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
441	Finding Endogenously Formed Communities Maria-Florina Balcan∗ Christian Borgs† Mark Braverman Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-10-04 11:36:25 Logical consequence Logical syntax Metalogic Ordinal arithmetic Curry–Howard correspondence Logic Deduction Entailment
442	TUGboat, Volume[removed]), No[removed]Inference Rules Add to Reading List Source URL: tug.org Language: English - Date: 2012-08-21 13:33:21 Logical syntax Propositional calculus Formal languages Metalogic First-order logic TeX Substitution Theorem Formal system Logic Mathematics Mathematical logic
443	Journal of Intelligent Information Systems, 19:2, 231–259, 2002 c 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Hypothetical Temporal Reasoning in Databases∗ MARCELO ARENAS† Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Logical syntax Metalogic Model theory Formal languages First-order logic Situation calculus Frame problem Function Entailment Logic Mathematics Logic programming
444	Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems? Amir Pnueli1 , Andreas Podelski2 , and Andrey Rybalchenko2 1 2 Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Formal languages Deduction Entailment Logical consequence Interpretation Computable function Structure Logic Metalogic Model theory
445	Expressiveness and Complexity of Bidirectional Constraints for Data Exchange Marcelo Arenas1 , Gabriel Di´eguez1 , and Jorge P´erez2 1 1 Add to Reading List Source URL: ciws.cl Language: English - Date: 2014-07-09 11:05:19 Metalogic Database schema Data exchange Data integration Model theory FO Relational model First-order logic Data management Logic Mathematical logic
446	Annals of Pure and Applied Logic[removed]–30 www.elsevier.com/locate/apal Game-based notions of locality over finite models! Marcelo Arenas a,∗ , Pablo Barcel´o b , Leonid Libkin c a Department of Computer Scien Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Theoretical computer science Finite model theory FO Age Interpretation Logical connective Model theory Logic Metalogic
447	Review of Economic Studies[removed], 393–413  2001 The Review of Economic Studies Limited[removed]兾01兾[removed]$[removed]Constitutional Rules of Exclusion Add to Reading List Source URL: socrates.berkeley.edu Language: English - Date: 2001-07-07 19:17:34 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
448	Explaining the forward premium puzzle Add to Reading List Source URL: www.cass.city.ac.uk Language: English - Date: 2015-03-02 10:59:47 Entailment Logical syntax Metalogic Philosophical logic Volatility Logic Propositional calculus Deduction
449	L. A. PAUL TRUTH CONDITIONS OF TENSED SENTENCE TYPES ABSTRACT. Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory Add to Reading List Source URL: lapaul.org Language: English - Date: 2008-09-19 22:56:35 Veracity Philosophy of language Metalogic Logical syntax Entailment Truth Modal logic Type–token distinction William Lane Craig Logic Philosophy Philosophical logic
450	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2012-01-12 09:31:30 Metalogic Propositional calculus Formal languages Entailment Interpretation Belief revision Logical connective Function Constructible universe Logic Logical syntax Mathematical logic

UPDATE