Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
531	Reasoning about Belief in Social Software using Modal Logic Add to Reading List Source URL: www.ronalddehaan.eu Language: English - Date: 2010-09-28 11:02:33 Branches of philosophy Metalogic Non-classical logic Modal logic Epistemic modal logic Truth Causality Function Rohit Jivanlal Parikh Logic Philosophy Philosophical logic
532	S Y S T E M Z : A N A T U R A L O R D E R I N G OF D E F A U L T S W I T H T R A C T A B L E A P P L I C A T I O N S T O N O N M O N O T O N I C R E A S O N I N G () Add to Reading List Source URL: www.tark.org Language: English* - Date: 2011-10-23 10:31:56 Deduction Entailment Logical consequence Metalogic Ring Default logic Logic Abstract algebra Propositional calculus
533	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-22 10:44:31 Mathematical logic Model theory Well-formed formula Linear temporal logic Logic Metalogic Formal languages
534	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-22 09:28:24 Philosophical logic Model theory Metalogic Bisimulation Logic in computer science Kripke semantics Modal logic State transition system Linear temporal logic Logic Mathematical logic Mathematics
535	Model Checking Fixed Point Logic with Chop Martin Lange and Colin Stirling Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:54:32 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
536	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-21 10:58:59 Philosophical logic Metalogic Formal languages Bisimulation Interpretation Modal logic First-order logic Entailment Kripke semantics Logic Mathematical logic Model theory
537	Edward N. Zalta On Mally’s Alleged Heresy: A Reply Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:14:22 Thought Metalogic Branches of philosophy Abstraction Category theory Copula Edward N. Zalta Function Alexius Meinong Philosophy Metaphysics Ontology
538	Edward N. Zalta Reflections on Mathematics∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2010-09-07 22:15:50 Logic Ontology Branches of philosophy Abstraction Metalogic Nominalism Mathematical object Foundations of mathematics Mathematical logic Mathematics Philosophy Philosophy of mathematics
539	Edward N. Zalta Neo-Logicism? An Ontological Reduction of Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 00:53:22 Model theory Metalogic Formal systems Predicate logic Object theory Philosophy of mathematics Axiom Logicism Mereology Logic Mathematics Mathematical logic
540	Paul E. Oppenheimer and Edward N. Zalta 2 Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-03-23 12:52:55 Metalogic Logical consequence Arguments for the existence of God Ontological argument Prover9 First-order logic Function Entailment Interpretation Logic Mathematics Model theory

UPDATE