Linear logic

Results: 927



#Item
1Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Add to Reading List

Source URL: www.public.asu.edu

Language: English - Date: 2018-02-27 19:23:46
2Senior Thesis in Mathematics  Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability

Senior Thesis in Mathematics Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability

Add to Reading List

Source URL: www.cs.pomona.edu

Language: English - Date: 2018-05-11 18:24:09
    3The Geometry of Interaction as a Module System Ulrich Schöpp June 17, 2018 Abstract The Geometry of Interaction (goi) was originally introduced by Girard in the context of Linear Logic. Many of its recent applications c

    The Geometry of Interaction as a Module System Ulrich Schöpp June 17, 2018 Abstract The Geometry of Interaction (goi) was originally introduced by Girard in the context of Linear Logic. Many of its recent applications c

    Add to Reading List

    Source URL: www2.tcs.ifi.lmu.de

    Language: English - Date: 2018-06-17 16:52:52
      4Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France  Abstract. When goals fall in decidable logic fragments, users of proofassista

      Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista

      Add to Reading List

      Source URL: people.rennes.inria.fr

      Language: English - Date: 2014-09-03 04:27:19
        5On 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
          6Interpretable Apprenticeship Learning with Temporal Logic Specifications Daniel Kasenberg and Matthias Scheutz Abstract— Recent work has addressed using formulas in linear temporal logic (LTL) as specifications for age

          Interpretable Apprenticeship Learning with Temporal Logic Specifications Daniel Kasenberg and Matthias Scheutz Abstract— Recent work has addressed using formulas in linear temporal logic (LTL) as specifications for age

          Add to Reading List

          Source URL: hrilab.tufts.edu

          Language: English - Date: 2017-08-21 16:50:42
            7Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA

            Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA

            Add to Reading List

            Source URL: boole.stanford.edu

            Language: English - Date: 2005-01-09 13:06:44
              8Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

              Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

              Add to Reading List

              Source URL: iltp.de

              Language: English - Date: 2018-03-07 05:52:01
              9Phillips Scientific Octal Linear/Logic Fan-Out

              Phillips Scientific Octal Linear/Logic Fan-Out

              Add to Reading List

              Source URL: www.repic.co.jp

              Language: English - Date: 2012-11-16 05:01:52
                10Linear logic as a logical framework by Dale Miller, Inria Abstract to be presented at SD 2017: Structures & Deduction Logical frameworks have seen three decades of design, theory, implementation, and applications. An ear

                Linear logic as a logical framework by Dale Miller, Inria Abstract to be presented at SD 2017: Structures & Deduction Logical frameworks have seen three decades of design, theory, implementation, and applications. An ear

                Add to Reading List

                Source URL: anupamdas.com

                - Date: 2017-08-04 11:45:45