Modal

Results: 2914



#Item
291

What You Submit is Who You Are: A Multi-Modal Approach for Deanonymizing Scientific Publications

Add to Reading List

Source URL: www.nebelwelt.net

Language: English - Date: 2016-04-13 09:07:44
    292

    From Trace Sets to Modal-Transition Systems by Stepwise Abstract Interpretation David A. Schmidt 1 Computing and Information Sciences Department Kansas State University Manhattan, KSUSA.

    Add to Reading List

    Source URL: people.cis.ksu.edu

    Language: English - Date: 2003-01-07 18:28:10
      293

      A Saturation Method for the Modal Mu-Cal ulus with Ba kwards Modalities over Pushdown Systems M. Hague and C.-H. L. Ong Oxford University Computing Laboratory

      Add to Reading List

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

      Language: English - Date: 2013-02-08 18:19:59
        294

        Frege systems for extensible modal logics Emil Jeˇr´abek∗ Department of Computer Science University of Toronto April 1, 2006

        Add to Reading List

        Source URL: users.math.cas.cz

        Language: English
          295

          Bisimulation games and locally tabular modal logics Valentin Shehtman Institute for Information Transmission Problems, Russian Academy of Sciences National Research University Higher School of Economics, Moscow, Russia M

          Add to Reading List

          Source URL: logica.dmi.unisa.it

          Language: English - Date: 2015-05-19 08:08:06
            296Grammatical moods / Philosophy / Grammar / Linguistics / Modality / Semantics / Linguistic modality / Modal verb / Epistemic modality / English modal verbs / Modal logic / Force dynamics

            UCL Working Papers in LinguisticsModality in language development: reconsideration of the evidence* a

            Add to Reading List

            Source URL: papafragou.psych.udel.edu

            Language: English - Date: 2005-02-24 09:23:50
            297Philosophy / Modal logic / Logic / Epistemology / Artificial intelligence / Formal epistemology / Modality / Epistemic modal logic / Dynamic epistemic logic / Epistemic closure / Causality / Distribution

            Planning Over Multi-Agent Epistemic States: A Classical Planning Approach Christian Muise∗ , Vaishak Belle† , Paolo Felli∗ , Sheila McIlraith† Tim Miller∗ , Adrian R. Pearce∗ , Liz Sonenberg∗ ∗ Departmen

            Add to Reading List

            Source URL: www.haz.ca

            Language: English - Date: 2014-12-17 21:21:52
            298

            Coalgebras and Modal Expansions of Logics Alexander Kurz a a b Alessandra Palmigiano b

            Add to Reading List

            Source URL: www.appliedlogictudelft.nl

            Language: English - Date: 2014-05-02 17:29:40
              299

              Advances in Modal Logic 2014 University of Groningen 5-8 August 2014 SOCIAL PROGRAM

              Add to Reading List

              Source URL: www.philos.rug.nl

              Language: English - Date: 2014-07-30 05:29:12
                300Automated theorem proving / BurrowsAbadiNeedham logic / -calculus / Modal logic / RSA

                Analysis of Cryptographic Protocols using Logics of Belief: an Overview David Monniaux ´ Ecole Normale Sup´erieure

                Add to Reading List

                Source URL: www-verimag.imag.fr

                Language: English - Date: 2007-10-18 09:44:19
                UPDATE