Registrera dig | Logga in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

kozimas modal-logic [26 articles]

Senaste hänvisningarna i kozimas bibliotek insorterade under taggen modal-logic. You can also see everyone's modal-logic.
  • Modal logics for communicating systems
    Theor. Comput. Sci., Vol. 49, No. 2-3. (1987), pp. 311-347.
    by C Stirling
    posted to modal-logic by kozima on 2008-05-29 12:34:32 as **
  • On an Intuitionistic Modal Logic
    Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416.
    by GM Bierman, VCV de Paiva
    posted to category modal-logic by kozima on 2008-05-25 03:11:37 as ** along with 2 people and 1 group glaubersp sheila1 complogic
  • The Proof Theory and Semantics of Intuitionistic Modal Logic
    (1994)
    by Alex K Simpson
    posted to modal-logic by kozima on 2008-05-25 03:08:13 as **
  • Logical modalities and multi-stage programming
    (1999)
    by Z Benaissa, E Moggi, W Taha, T Sheard
    posted to category lambda-calculi modal-logic temporal-logic by kozima on 2008-05-21 07:03:04 as **
  • On the Geometry of Intuitionistic S4 Proofs
    Homology, Homotopy and Applications, Vol. 5, No. 2. (2003), pp. 137-209.
    by J Goubault-Larrecq, E Goubault
    edited by Gunnar Carlsson
    posted to lambda-calculi modal-logic by kozima on 2008-04-19 06:12:27 as ** along with 2 people jrw dmitri83
  • Modal and temporal logics
    (1992), pp. 477-563.
    by Colin Stirling
    posted to modal-logic temporal-logic by kozima on 2008-04-05 07:12:45 as read
  • A computational interpretation of modal proofs
    (1995)
    by S Martini, A Masini
    edited by H Wansing
    posted to lambda-calculi modal-logic by kozima on 2008-04-04 15:03:49 as **
  • Algebras and Frames for Modal Logics
    (January 2001)
    by Yasusi Hasimoto
    posted to modal-logic by kozima on 2008-01-04 07:40:38 as **
  • Reasoning with Temporal Logic on Truncated Paths
    Computer Aided Verification (2003), pp. 27-39.
    by Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony Mcisaac, David Van Campenhout
    posted to modal-logic temporal-logic by kozima on 2007-12-15 05:13:04 as **
  • Tableaux for constructive concurrent dynamic logic
    Annals of Pure and Applied Logic, Vol. 135, No. 1-3. (September 2005), pp. 1-72.
    by Duminda Wijesekera, Anil Nerode
    posted to modal-logic by kozima on 2007-12-10 00:34:15 as **
  • Constructive Modal Logics I
    Ann. Pure Appl. Logic, Vol. 50, No. 3. (1990), pp. 271-301.
    by Duminda Wijesekera
    posted to modal-logic by kozima on 2007-12-09 08:15:49 as **
  • A modal type system for multi-level generating extensions with persistent code
    (2006), pp. 201-212.
    by Yosihiro Yuse, Atsushi Igarashi
    posted to lambda-calculi modal-logic temporal-logic by kozima on 2007-11-30 06:58:28 as read along with 1 person msakai
  • Modal logics with functional alternative relations.
    Notre Dame Journal of Formal Logic, Vol. 27, No. 4. (October 1986), pp. 504-522.
    by Krister Segerberg
    posted to modal-logic by kozima on 2007-11-27 05:39:20 as **
  • Products of Modal Logics. Part 3: Products of Modal and Temporal Logics
    Studia Logica, Vol. 72, No. 2. (1 November 2002), pp. 157-183.
    by Dov Gabbay, Valentin Shehtman
    posted to modal-logic by kozima on 2007-11-21 05:45:42 as **
  • Products of modal logics. Part 2: relativised quantifiers in classical logic
    Logic journal of the IGPL, Vol. 8, No. 2. (1 March 2000), pp. 165-210.
    by Dov M Gabbay, Valentin B Shehtman
    posted to modal-logic by kozima on 2007-11-21 05:43:09 as ** along with 1 person dmitri83
  • Products of modal logics, part 1
    Logic Journal of the IGPL, Vol. 6, No. 1. (1 January 1998), pp. 73-146.
    by Dov M Gabbay, Valentin B Shehtman
    posted to modal-logic by kozima on 2007-11-21 05:27:54 as ** along with 1 person dmitri83
  • Monad as modality
    Theoretical Computer Science, Vol. 175, No. 1. (1997), pp. 29-74.
    by Satoshi Kobayashi
    posted to category lambda-calculi modal-logic by kozima on 2007-11-17 07:50:40 as read
  • A judgmental reconstruction of modal logic
    Mathematical Structures in Computer Science, Vol. 11, No. 4. (2001), pp. 511-540.
    by Frank Pfenning, Rowan Davies
    posted to modal-logic by kozima on 2007-11-11 04:50:33 as read
  • A Temporal-Logic Approach to Binding-Time Analysis
    (1996), pp. 184-195.
    by Rowan Davies
    posted to lambda-calculi modal-logic temporal-logic by kozima on 2007-11-11 04:28:45 as read
  • A Modal Analysis of Staged Computation
    (1996), pp. 258-270.
    by Rowan Davies, Frank Pfenning
    posted to lambda-calculi modal-logic by kozima on 2007-11-11 04:27:59 as read
  • Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic
    by Gianluigi Bellin, Valeria de Paiva, Eike Ritter
    posted to modal-logic by kozima on 2007-11-11 03:19:20 as ** along with 1 person vcvpaiva
  • Intuitionistic tense and modal logic
    Journal of Symbolic Logic, Vol. 51, No. 1. (March 1986), pp. 166-179.
    by WB Ewald
    posted to modal-logic temporal-logic by kozima on 2007-11-10 13:47:33 as read
  • Categorical and Kripke Semantics for Constructive S4 Modal Logic
    Vol. 2142 (2001), pp. 292-307.
    by Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter
    edited by L Fribourg
    posted to modal-logic by kozima on 2007-11-10 13:45:34 as read along with 1 person vcvpaiva
  • Primitive recursion for higher-order abstract syntax
    Theor. Comput. Sci., Vol. 266, No. 1-2. (2001), pp. 1-57.
    by Carsten Schurmann, Joelle Despeyroux, Frank Pfenning
    posted to abstract-syntax modal-logic by kozima on 2006-12-19 05:22:17 as ***
  • A core calculus of dependency
    (1999), pp. 147-160.
    by Mart∈ Abadi, Anindya Banerjee, Nevin Heintze, Jon G Riecke
    edited by M Ac
    posted to dependency lambda-calculi modal-logic by kozima on 2006-02-12 09:09:07 as ** along with 5 people amorkan kontakte scavadini mrkoot tesissvc
  • Translating Dependency into Parametricity
    by Stephen T Steve
    posted to dependency lambda-calculi modal-logic parametricity by kozima on 2006-02-02 12:08:09 as **
    • Du kan hänvisa till den här sidan som: http://www.citeulike.org/user/kozima/tag/modal-logic

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.