First-order logic

Results: 1172



#Item
1Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK

Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 16:49:46
2From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK  Abstract. Parametric runtime verification is the process of verifying properties of ex

From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 12:50:18
3Formale Systeme II: Theorie Dynamic Logic: Uninterpreted and Interpreted First Order DL SS 2016

Formale Systeme II: Theorie Dynamic Logic: Uninterpreted and Interpreted First Order DL SS 2016

Add to Reading List

Source URL: formal.iti.kit.edu

Language: English - Date: 2016-05-03 10:44:18
4AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA  About me

AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA About me

Add to Reading List

Source URL: alloytools.org

Language: English - Date: 2018-06-13 06:07:43
5J. Korean Math. Soc.  FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

Add to Reading List

Source URL: formal.hknu.ac.kr

Language: English - Date: 2018-03-08 05:11:17
    6SECOND-ORDER LOGIC, OR: HOW I LEARNED TO STOP WORRYING AND LOVE THE INCOMPLETENESS THEOREMS ETHAN JERZAK Abstract. First-order logic enjoys a nearly universal status as the language in which mathematics is done—or at l

    SECOND-ORDER LOGIC, OR: HOW I LEARNED TO STOP WORRYING AND LOVE THE INCOMPLETENESS THEOREMS ETHAN JERZAK Abstract. First-order logic enjoys a nearly universal status as the language in which mathematics is done—or at l

    Add to Reading List

    Source URL: www.math.uchicago.edu

    Language: English - Date: 2009-10-11 16:26:20
      7On Structuring Proof Search for First Order Linear Logic

      On Structuring Proof Search for First Order Linear Logic

      Add to Reading List

      Source URL: cs.bath.ac.uk

      Language: English - Date: 2012-01-04 16:21:31
        8Logic 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

        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
          9Question Answering over Linked Data Using First-order Logic∗ Shizhu He, Kang Liu, Yuanzhe Zhang, Liheng Xu and Jun Zhao National Laboratory of Pattern Recognition Institute of Automation, Chinese Academy of Sciences, B

          Question Answering over Linked Data Using First-order Logic∗ Shizhu He, Kang Liu, Yuanzhe Zhang, Liheng Xu and Jun Zhao National Laboratory of Pattern Recognition Institute of Automation, Chinese Academy of Sciences, B

          Add to Reading List

          Source URL: emnlp2014.org

          Language: English - Date: 2014-10-16 05:21:04
            10On Structuring Proof Search for First Order Linear Logic

            On Structuring Proof Search for First Order Linear Logic

            Add to Reading List

            Source URL: www.cs.bath.ac.uk

            - Date: 2012-01-04 16:21:31