Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
561	Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:57:33 Formal languages Logical syntax Linear temporal logic Temporal logic Interpretation Entailment Substitution Model theory Well-formed formula Logic Metalogic Propositional calculus
562	Message Passing in a Dynamic Epistemic Logic Setting Floor Sietsma Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-29 06:50:58 Metalogic Model theory Mathematical logic Epistemic modal logic Kripke semantics Entailment RSA Logic Philosophical logic Modal logic
563	Chapter 1 On the Logic of Lying Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, and Yanjing Wang Abstract We model lying as a communicative act changing the beliefs of the agents Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2011-01-03 04:30:48 Modal logic Metalogic Non-classical logic Doxastic logic Epistemic modal logic Model theory Entailment Truth Function Logic Mathematical logic Philosophical logic
564	Propositional Dynamic Logic as a Logic of Belief Revision Jan van Eijck and Yanjing Wang Center for Mathematics and Computer Science (CWI) Kruislaan[removed]SJ Amsterdam, The Netherlands {jve,y.wang}@cwi.nl Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 10:31:51 Philosophical logic Logic programming Propositional calculus Metalogic Model theory Epistemic modal logic Modal logic Interpretation Function Logic Mathematical logic Mathematics
565	Comments on ‘Modal Fixed Point Logic and Changing Models’ Jan van Eijck August 2007 This is indeed a very nice draft that I have read with great pleasure, and that has helped me to better understand the completeness Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:37:15 Model theory Propositional calculus Formal languages Substitution Interpretation Modal logic Epistemic modal logic Completeness Linear temporal logic Logic Mathematical logic Metalogic
566	Edward N. Zalta Essence and Modality∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-11-28 19:53:20 Model theory Predicate logic Lambda calculus Metalogic Category theory First-order logic Fixed-point combinator Interpretation Function Logic Mathematical logic Mathematics
567	Edward N. Zalta Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege’s Grundgesetze in Object Theory∗ Edward N. Zalta† Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2012-10-25 17:28:23 Predicate logic Model theory Lambda calculus Metalogic Object theory First-order logic Function Field Functor Mathematics Mathematical logic Logic
568	Dynamic Epistemic Logics Jan van Eijck Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:13:35 Philosophical logic Model theory Metalogic Non-classical logic Epistemic modal logic Kripke semantics Common knowledge Doxastic logic First-order logic Logic Mathematical logic Modal logic
569	Model Theory and Applications to Algebra and Analysis Model Theory and Applications to Algebra and Analysis 17 January to 15 July 2005 Report from the Organisers: Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2005-11-30 08:00:44 Metalogic Strongly minimal theory O-minimal theory Morley rank Stable group Hrushovski construction Mathematical logic Alexander Grothendieck Stable theory Model theory Abstract algebra Mathematics

UPDATE