Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
381	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:32:05 Metalogic Interpretation First-order logic Modal logic Epistemic modal logic Structure Well-formed formula Satisfiability Linear temporal logic Logic Model theory Mathematical logic
382	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
383	Reasoning with Hypothetical Judgments and Open Terms in Hybrid Amy P. Felty Alberto Momigliano Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-02 05:22:59 Deduction Models of computation Formal methods Entailment Metalogic De Bruijn index Natural deduction Curry–Howard correspondence Logic Mathematical logic Lambda calculus
384	Characteristic Formulae for Fixed-Point Semantics: A General Framework∗ Luca Aceto Anna Ingolfsdottir Add to Reading List Source URL: www.ru.is Language: English - Date: 2009-06-14 06:08:27 Metalogic Binary operations Model theory Propositional calculus Bisimulation Logical equivalence Interpretation If and only if Entailment Logic Mathematics Mathematical logic
385	F:/ANDRE/PROJECTS/Monteiro/JMLFI/KKLM v5.dvi Add to Reading List Source URL: www.econstor.eu Language: English - Date: 2013-05-22 03:34:55 Deduction Entailment Logical consequence Metalogic Maximum likelihood Credit risk Economic model Logic Estimation theory M-estimators
386	Proof-Theoretic and Higher-Order Extensions of Logic Programming Alberto Momigliano1,2 and Mario Ornaghi1 1 Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-30 09:07:46 Proof theory Metalogic Model theory Formal languages Deduction Curry–Howard correspondence Standard ML Sequent calculus Symbol Logic Mathematics Mathematical logic
387	econstor www.econstor.eu Der Open-Access-Publikationsserver der ZBW – Leibniz-Informationszentrum Wirtschaft The Open Access Publication Server of the ZBW – Leibniz Information Centre for Economics Add to Reading List Source URL: www.econstor.eu Language: English - Date: 2010-01-21 04:07:39 New classical macroeconomics Deduction Entailment Metalogic Rational expectations Logic Propositional calculus Macroeconomics
388	Towards certificate generation for linear heap consumption Lennart Beringer1 , Martin Hofmann2 , Alberto Momigliano1 , Olha Shkaravska2 1 Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinb Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2004-07-28 09:07:42 Philosophical logic Deduction Entailment Logical consequence Metalogic Valuation Modal logic Sheaf Natural deduction Logic Abstract algebra Mathematics
389	Distance Semantics for Relevance-Sensitive Belief Revision Extended Abstract1 Pavlos Peppas,2 Samir Chopra,3 and Norman Foo4 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-20 06:41:33 Propositional calculus Deduction Functions and mappings Entailment Logical consequence Metalogic Belief revision Interpretation Function Logic Mathematical logic Mathematics
390	Similarity, Approximations and Vagueness Patrick Doherty1 , Witold Łukaszewicz2 , and Andrzej Szałas1,[removed]Department of Computer Science, University of Linköping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-09 03:43:13 Independence Measure theory Linear algebra Logic Sigma-algebra Probability theory Metalogic Model theory

UPDATE