Modal

Results: 2914



#Item
711 MODAL LOGIC: A SEMANTIC PERSPECTIVE Patrick Blackburn and Johan van Benthem 1

1 MODAL LOGIC: A SEMANTIC PERSPECTIVE Patrick Blackburn and Johan van Benthem 1

Add to Reading List

Source URL: www.illc.uva.nl

- Date: 2006-04-27 10:35:42
    72Lecture Notes on Judgments and Propositions: Modal Logic Frank Pfenning Lecture 1 January 12, 2010

    Lecture Notes on Judgments and Propositions: Modal Logic Frank Pfenning Lecture 1 January 12, 2010

    Add to Reading List

    Source URL: www.cs.cmu.edu

    - Date: 2010-01-12 10:01:42
      73Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

      Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      - Date: 2015-11-06 10:54:47
        74Cross-Modal Similarity Learning via Pairs, Preferences, and Active Supervision Yi Zhen Piyush Rai Hongyuan Zha

        Cross-Modal Similarity Learning via Pairs, Preferences, and Active Supervision Yi Zhen Piyush Rai Hongyuan Zha

        Add to Reading List

        Source URL: people.duke.edu

        - Date: 2014-11-29 14:39:11
          75Modal-Pushover-Based Ground-Motion Scaling Procedure Erol Kalkan, M.ASCE1; and Anil K. Chopra, M.ASCE2 Abstract: Earthquake engineering is increasingly using nonlinear response history analysis (RHA) to demonstrate the p

          Modal-Pushover-Based Ground-Motion Scaling Procedure Erol Kalkan, M.ASCE1; and Anil K. Chopra, M.ASCE2 Abstract: Earthquake engineering is increasingly using nonlinear response history analysis (RHA) to demonstrate the p

          Add to Reading List

          Source URL: erolkalkan.com

          - Date: 2015-07-21 18:22:41
            76A5pSC23: Acoustic Correlates of Non-modal Phonation in Telephone Speech Tae-Jin Yoon*, Jennifer Cole *, Mark Hasegawa-Johnson**, & Chilin Shih* Department of Linguistics*; Department of Electrical and Computer Engineerin

            A5pSC23: Acoustic Correlates of Non-modal Phonation in Telephone Speech Tae-Jin Yoon*, Jennifer Cole *, Mark Hasegawa-Johnson**, & Chilin Shih* Department of Linguistics*; Department of Electrical and Computer Engineerin

            Add to Reading List

            Source URL: prosody.beckman.illinois.edu

            - Date: 2009-05-04 17:19:42
              77VLDBJ manuscript No. (will be inserted by the editor) Effective Deep Learning Based Multi-Modal Retrieval Wei Wang, Xiaoyan Yang, Beng Chin Ooi, Dongxiang Zhang, Yueting Zhuang

              VLDBJ manuscript No. (will be inserted by the editor) Effective Deep Learning Based Multi-Modal Retrieval Wei Wang, Xiaoyan Yang, Beng Chin Ooi, Dongxiang Zhang, Yueting Zhuang

              Add to Reading List

              Source URL: www.comp.nus.edu.sg

              - Date: 2015-08-04 04:29:30
                78Result Diversity for Multi-Modal Route Planning ∗ Hannah Bast, Mirko Brodesser, and Sabine Storandt Albert-Ludwigs-Universität Freiburg

                Result Diversity for Multi-Modal Route Planning ∗ Hannah Bast, Mirko Brodesser, and Sabine Storandt Albert-Ludwigs-Universität Freiburg

                Add to Reading List

                Source URL: drops.dagstuhl.de

                - Date: 2013-08-30 10:00:32
                  79www.vtpi.orgSelling Smart Growth Communicating The Direct Benefits of More Accessible, Multi-Modal

                  www.vtpi.orgSelling Smart Growth Communicating The Direct Benefits of More Accessible, Multi-Modal

                  Add to Reading List

                  Source URL: www.vtpi.org

                  - Date: 2016-08-24 18:08:23
                    80A Modal Logic for Abstract Delta Modeling ∗ Michiel Helvensteijn Joost Winter

                    A Modal Logic for Abstract Delta Modeling ∗ Michiel Helvensteijn Joost Winter

                    Add to Reading List

                    Source URL: www.mhelvens.net

                    - Date: 2012-11-25 10:40:43