Alessandra

Results: 401



#Item
101

Order DOIs11083 1 -completions of a Poset Mai Gehrke · Ramon Jansana · Alessandra Palmigiano

Add to Reading List

Source URL: www.appliedlogictudelft.nl

Language: English - Date: 2014-05-02 10:35:00
    102

    Dynamic Epistemic Logic Displayed Giuseppe Greco1 , Alexander Kurz2 , Alessandra Palmigiano3 1 2

    Add to Reading List

    Source URL: www.appliedlogictudelft.nl

    Language: English - Date: 2014-05-02 11:43:31
      103

      REFERENTIAL SEMANTICS : DUALITY AND APPLICATIONS RAMON JANSANA, ALESSANDRA PALMIGIANO UNIVERSITAT DE BARCELONA 1. Introduction Substitution-invariant consequence relations between sets of formulas and formulas

      Add to Reading List

      Source URL: www.appliedlogictudelft.nl

      Language: English - Date: 2014-05-02 17:24:24
        104

        Algebraic modal correspondence: Sahlqvist and beyond Willem Conradie∗ Alessandra Palmigiano

        Add to Reading List

        Source URL: www.appliedlogictudelft.nl

        Language: English - Date: 2014-05-02 09:22:16
          105

          Dualities for Intuitionistic Modal Logics Alessandra Palmigiano∗ Abstract We present a duality for the intuitionistic modal logic IK introduced by Fischer Servi in [10, 11]. Unlike other dualities for IK, the dual stru

          Add to Reading List

          Source URL: www.appliedlogictudelft.nl

          Language: English - Date: 2014-05-02 17:34:45
            106

            Algorithmic correspondence for intuitionistic modal mu-calculus Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh Abstract In the present paper, the algorithmic correspondence theory developed in (Conr

            Add to Reading List

            Source URL: www.appliedlogictudelft.nl

            Language: English - Date: 2014-12-10 13:51:52
              107

              Chapter 1 Unified Correspondence Willem Conradie, Silvio Ghilardi, Alessandra Palmigiano Abstract The present paper is aimed at giving a conceptual exposition of the mathematical principles underlying Sahlqvist corresp

              Add to Reading List

              Source URL: www.appliedlogictudelft.nl

              Language: English - Date: 2014-05-03 04:27:13
                108

                Algorithmic Correspondence and Canonicity for Distributive Modal Logic Willem Conradie and Alessandra Palmigiano Revised: 8 SeptemberAbstract

                Add to Reading List

                Source URL: www.appliedlogictudelft.nl

                Language: English - Date: 2014-05-02 11:11:28
                  109

                  FORMAÇÃO DO USUÁRIO DE BIBLIOTECA INFANTIL Alessandra Boy dos Santos1, Louise Moore de Figueiredo2, Maria Conceição da Silva3, Ramaiana Lobo do Prado4 1 Graduanda de Biblioteconomia, UFF, Niterói, RJ

                  Add to Reading List

                  Source URL: www.sibi.ufrj.br

                  Language: Portuguese - Date: 2014-09-11 15:37:01
                    110Graph theory / Graph / Degree / Connectivity

                    Sharing Graphs using Differentially Private Graph Models Alessandra Sala Xiaohan Zhao Christo Wilson

                    Add to Reading List

                    Source URL: www.cs.ucsb.edu

                    Language: English - Date: 2011-09-16 13:03:37
                    UPDATE