Logic

Results: 27485



#Item
371

ESSLLI08: Deontic Logic in Computer Science Part 2b/5: Normative Multi-Agent Systems J¨org Hansen and Leendert van der Torre Normative multiagent systems as a research area can be defined as the intersection of normativ

Add to Reading List

Source URL: icr.uni.lu

Language: English - Date: 2014-12-05 12:20:25
    372

    Pragmatic Logic Design With XILINX Foundation 2.1I

    Add to Reading List

    Source URL: www.xess.com

    Language: English - Date: 2013-08-19 04:50:12
      373

      タイトル（論理学はいかに形而上学にモノをいうか ( あるいは言わ ないか ) ） 氏名（遠藤　進平） 所属（ Institute for Logic, Language and Computation, University of Amsterdam ）

      Add to Reading List

      Source URL: www.phsc.jp

      Language: Japanese - Date: 2018-05-24 21:57:43
        374

        Effects of transmission perturbation in the cultural evolution of language Thomas Brochhagen () Institute for Logic, Language & Computation, University of Amsterdam Michael Franke (mchfranke@gmail.c

        Add to Reading List

        Source URL: www.sfs.uni-tuebingen.de

        Language: English - Date: 2017-08-02 14:53:46
          375

          Lower Bounds for the Complexity of Monadic Second-Order Logic Stephan Kreutzer University of Oxford Abstract—Courcelle’s famous theorem from 1990 states that

          Add to Reading List

          Source URL: logic.las.tu-berlin.de

          Language: English - Date: 2015-06-17 12:07:42
            376

            Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California

            Add to Reading List

            Source URL: www.cis.upenn.edu

            Language: English - Date: 2014-03-05 17:31:43
              377

              Philosophical Perspectives, 8, Logic and Language, 1994 COMPOSITION AS IDENTITY Peter van Inwagen Syracuse University

              Add to Reading List

              Source URL: andrewmbailey.com

              Language: English - Date: 2011-02-24 11:06:32
                378

                Logic and the Methodology of Science June 2003 Preliminary Exam August 23, Let L be a finite first-order language whose formulae have been Godel numbered in some natural way. Let Sat be the set of all (Godel numb

                Add to Reading List

                Source URL: logic.berkeley.edu

                Language: English - Date: 2018-03-13 00:17:29
                  379

                  Knot and Tonk Nasty connectives on many-valued truth-tables for classical sentential logic Tim Button University of Cambridge

                  Add to Reading List

                  Source URL: people.ds.cam.ac.uk

                  Language: English - Date: 2015-11-28 09:52:02
                    380

                    Phillips Scientific 16 Channel Logic Level Translator

                    Add to Reading List

                    Source URL: www.repic.co.jp

                    Language: English - Date: 2012-11-16 04:50:26
                      UPDATE