Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
521	Co-Training and Expansion: Towards Bridging Theory and Practice Maria-Florina Balcan Computer Science Dept. Carnegie Mellon Univ. Pittsburgh, PA 15213 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-12-28 22:51:11 Entailment Logical consequence Metalogic Randomized algorithm Semi-supervised learning Markov chain Conditional independence Strength of materials Logic Probability theory Deduction
522	Course Number and Title: PHI 333, Introduction to Symbolic Logic Credits: 3 Prerequisites: None PHI 333 is a requirement for a Major in Philosophy Instructor: Tom Blackson Philosophy Faculty Add to Reading List Source URL: tab.faculty.asu.edu Language: English - Date: 2014-04-09 11:42:14 Education reform Predicate logic Philosophical logic Metalogic Jon Barwise Homework First-order logic Model theory Grade Logic Education Knowledge
523	[removed]Basic definitions Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:23 Metalogic Saturated model Structure Second-order logic FO Beth definability Compactness theorem Graph Reachability Mathematics Mathematical logic Model theory
524	Description Logics Deduction in Propositional Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Mathematical logic Model theory Logical truth Satisfiability Entailment Interpretation Well-formed formula Tautology Completeness Logic Metalogic Propositional calculus
525	Combining Two Formalism for Reasoning about Concepts? (extended abstract) N.V. Shilov, N.O. Garanina, and I.S. Anureev A.P. Ershov Institute of Informatics Systems, Lavren’ev av., 6, Novosibirsk[removed], Russia, Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Formal languages Metalogic Non-classical logic Model theory Modal logic Description logic Interpretation Function Finitary relation Logic Mathematics Mathematical logic
526	A Logical Toolbox for Knowledge Approximation (preliminary version) Frederic Koriche and Jean Sallantin LIRMM, UMR 5506, Universit@ Montpellier II CNRS 161, rue Ada[removed]Montpellier Cedex 5, France Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Model theory Logical truth Semantics Metalogic Modal logic Satisfiability Interpretation Epistemic modal logic Tautology Logic Mathematical logic Mathematics
527	Logics for Information Update a tutorial for TARK Siena 2001 J o h a n van B e n t h e m johan@{illc.uva.nl, csli.stanford.edu} ILLC Amsterdam & CSLI Stanford Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Modal logic Model theory Branches of philosophy Metalogic Epistemic modal logic Kripke semantics Common knowledge Bisimulation Belief revision Logic Mathematical logic Philosophical logic
528	A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:07 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
529	Description Logics in the Calculus of Structures Jean-David Roubach1,2 , Pascal Yim2 , and Joaquín Rodriguez1 1 INRETS – ESTAS Villeneuve d’Ascq, France Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Philosophical logic Metalogic Calculus of structures Modal logic Deep inference Structural proof theory Sequent calculus Proof calculus Logic Mathematical logic Proof theory
530	Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Logical syntax Proof theory Formal languages Decidability Atomic model Theory Well-formed formula Recursive languages and sets Logic Metalogic Model theory

UPDATE