Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
351	Complementary Sentential Logics Achille C. Varzi Istituto per la Ricerca Scientifica e Tecnologica , Povo (Trento), Italy (Published in Bulletin of the Section of Logic, 19:[removed]), 112–116.) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2004-09-21 20:59:58 Metalogic Logical truth Model theory Tautology Substitution Contradiction Entailment Theory Paraconsistent logic Logic Propositional calculus Mathematical logic
352	J Philos Logic[removed]:83–125 DOI[removed]s10992[removed]Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences Johan van Benthem · Patrick Girard · Olivier Roy Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2010-09-22 04:37:20 Model theory Non-classical logic Propositional calculus Modal logic Interpretation Entailment Ceteris paribus Bisimulation Linear temporal logic Logic Philosophical logic Metalogic
353	A Linear Encoding of Pushdown Control-Flow Analysis Steven Lyde Thomas Gilray ∗ Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-26 13:28:21 Logic Mathematics Metaphilosophy Formal languages Metalogic Model theory Structure
354	Environment Unrolling Steven Lyde and Matthew Might University of Utah Abstract. We propose a new way of thinking about abstract interpretation with a method we term environment unrolling. Model checkers for imperative l Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-26 13:28:21 Metalogic Model theory Normal distribution
355	Synthese[removed]:1–24 Knowledge, Rationality & Action 1–24 DOI[removed]s11229[removed]x Decision framing in judgment aggregation Fabrizio Cariani · Marc Pauly · Josh Snyder Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2009-09-06 21:19:36 Philosophical logic Metalogic Propositional calculus modal logic Deduction Aggregation Discursive dilemma General frame Entailment Logic Mathematics Philosophy
356	Number of Extensions of Non-Fregean Logics Joanna Goli´ nska Taneli Huuskonen Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2002-10-23 16:15:22 Model theory Metalogic Logical syntax Boolean algebra Interpretation Entailment First-order logic Constructible universe Axiom Logic Mathematical logic Propositional calculus
357	What Does it Mean to Have an Architecture?∗ Brian Logan Abstract In this paper, I propose an approach to architectures which makes precise exactly what it means for an agent to ‘have’ an architecture, and allows us Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-01-03 09:22:12 Science Philosophical logic Metalogic 2APL Action selection Cognitive architecture Software agent 3APL Agent-based model Multi-agent systems Logic Artificial intelligence
358	Verifying Properties of Coalitional Ability under Resource Bounds Natasha Alechina Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-05-21 13:03:49 Entailment Logical consequence Metalogic Modal logic Function Logic Philosophical logic Deduction
359	Expressing Properties of Coalitional Ability under Resource Bounds ? Natasha Alechina Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-08-17 09:53:06 Entailment Logical consequence Metalogic Modal logic Valuation Logic Philosophical logic Deduction
360	LTL types FRP Linear-time Temporal Logic Propositions as Types Proofs as Functional Reactive Programs Alan Jeffrey Alcatel-Lucent Bell Labs [removed] Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-11-17 10:18:47 Mathematical analysis Structure Integral transforms Logic Holomorphic functional calculus Decomposition of spectrum Mathematics Metalogic Model theory

UPDATE