Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

kozima's library [61 articles]

Recent papers added to kozima's library.
  • Modal Logic
    (15 November 2002)
    by Patrick Blackburn, Maarten de Rijke, Yde Venema
    posted to modal-logic by kozima on 2008-10-05 09:13:19 as ** along with 2 people terumiyake shenshei
  • Logics Without the Contraction Rule
    The Journal of Symbolic Logic, Vol. 50, No. 1. (1985), pp. 169-201.
    by Hiroakira Ono, Yuichi Komori
    posted to substructural-logic by kozima on 2008-10-05 06:59:52 as **
  • Modal companions of intermediate propositional logics
    Studia Logica, Vol. 51, No. 1. (1 March 1992), pp. 49-82.
    by Alexander Chagrov, Michael Zakharyashchev
    posted to modal-logic by kozima on 2008-09-29 03:11:21 as **
  • Intuitionistic modal logics as fragments of classical bimodal logics
    (1997), pp. 168-186.
    by Frank Wolter, Michael Zakharyaschev
    posted to modal-logic by kozima on 2008-09-24 08:33:04 as ***
  • The ForSpec Temporal Logic: A New Temporal Property-Specification Language
    (2002), pp. 296-211.
    by Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela M Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y Vardi, Yael Zbar
    posted to temporal-logic by kozima on 2008-09-24 08:25:56 as **
  • On the relation between intuitionistic and classical modal logics
    Algebra and Logic, Vol. 36 (1997), pp. 73-92.
    by Frank Wolter, Michael Zakharyaschev
    posted to modal-logic by kozima on 2008-09-24 08:20:54 as ***
  • A topological characterization of weakness
    (2005), pp. 1-8.
    by Cindy Eisner, Dana Fisman, John Havlicek
    posted to temporal-logic by kozima on 2008-09-09 08:04:03 as read
  • The temporal semantics of concurrent programs
    Theoretical Computer Science, Vol. 13, No. 1. (1981), pp. 45-60.
    by Amir Pnueli
    posted to temporal-logic by kozima on 2008-09-08 07:21:27 as **
  • Locus Solum: From the Rules of Logic to the Logic of Rules
    Computer Science Logic (2001), pp. 38-38.
    by Jean-Yves Girard
    posted to no-tag by kozima on 2008-07-01 10:06:25 as **
  • 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 **
  • Linear logic, monads and the lambda calculus
    (# jul 1996)
    by N Benton, P Wadler
    posted to lambda-calculi linear-logic monads by kozima on 2008-05-28 16:12:31 as ** along with 4 people and 1 group dherman tautologico glaubersp ds NU-PRL
  • A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)
    (1994), pp. 121-135.
    by PN Benton
    posted to category lambda-calculi linear-logic by kozima on 2008-05-28 16:08:43 as ** along with 1 person msakai
  • 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 **
  • Proof-theoretical investigation of temporal logic with time gaps
    Lithuanian Mathematical Journal, Vol. 40, No. 3. (10 July 2000), pp. 197-212.
    by R Alonderis
    posted to temporal-logic by kozima on 2008-04-19 07:41:43 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 **
  • A Gentle Introduction to Multi-stage Programming
    Domain-Specific Program Generation (2004), pp. 30-50.
    by Walid Taha
    posted to programming by kozima on 2008-03-02 08:02:39 as read
  • DSL Implementation in MetaOCaml, Template Haskell, and C++
    by Krzysztof Czarnecki, John O'Donnell, Jörg Striegnitz, Walid Taha
    posted to programming by kozima on 2008-02-24 15:08:24 as read along with 4 people kavabean stagediver glaubersp Scis0000002
  • Completeness of a First-order Temporal Logic with Time-Gaps
    Theor. Comp. Sci., Vol. 160 (1996), pp. 241-270.
    by Matthias Baaz, Alexander Leitsch, Richard Zach
    posted to temporal-logic by kozima on 2008-01-30 08:12:23 as **
  • A complete axiomatic characterization of first-order temporal logic of linear time
    Theor. Comput. Sci., Vol. 54, No. 2-3. (1987), pp. 199-214.
    by Andrzej Szalas
    posted to temporal-logic by kozima on 2008-01-30 08:11:47 as **
  • Semantical analysis of constructive PDL
    Publications of the Research Institute for Mathematical Sciences, Vol. 18, No. 2. (1982), pp. 847-858.
    by Hirokazu Nishimura
    posted to temporal-logic by kozima on 2008-01-30 08:10:59 as read
  • Template meta-programming for Haskell
    SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
    by Tim Sheard, Simon P Jones
    posted to programming by kozima on 2008-01-30 03:27:35 as ** along with 9 people and 2 groups samth marcin msakai spl keigoi TTSY dhag mcclurmc jpbernardy NU-PRL complogic
  • Injective and Projective Heyting Algebras
    Transactions of the American Mathematical Society, Vol. 148, No. 2. (1970), pp. 549-559.
    by Raymond Balbes, Alfred Horn
    posted to algebra category by kozima on 2008-01-13 06:46:17 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 **
  • On the temporal analysis of fairness
    (1980), pp. 163-173.
    by Dov Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi
    posted to temporal-logic by kozima on 2008-01-01 03:14:28 as read
  • Global Variables in Haskell
    by John H Department
    posted to programming by kozima on 2007-12-25 08:45:21 as ** along with 1 person msakai
  • Intuitionistic LTL and a New Characterization of Safety and Liveness
    Computer Science Logic (2004), pp. 295-309.
    by Patrick Maier
    posted to temporal-logic by kozima on 2007-12-15 05:17:10 as read
  • 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 along with 1 person darinm
  • 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
  • Girard translation and logical predicates
    Journal of Functional Programming, Vol. 10 (2000), pp. 77-89.
    by M Hasegawa
    posted to lambda-calculi parametricity by kozima on 2007-01-07 07:10:14 as read
  • 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 ***
  • Higher-order abstract syntax
    Proceedings of the ACMしＡＮ1988 conference on Programming Language design and Implementation (1988), pp. 199-208.
    by F Pfenning, C Elliot
    posted to abstract-syntax algebra by kozima on 2006-12-03 10:00:24 as **
  • Pseudo-Distributive Laws and a Unified Framework for Variable binding
    (2004)
    by Miki Tanaka
    posted to algebra category by kozima on 2006-11-24 07:29:55 as **
  • notes Fibring logics: Past, present and future.
    (2005), pp. 363-388.
    by C Caleiro, A Sernadas, C Sernadas
    posted to uni-log by kozima on 2006-11-10 01:58:54 as **
    • Note: You may cite this page as: http://www.citeulike.org/user/kozima

    Result page: 1 2 Next 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.