registrieren | anmelden | FAQ      [?] 

Tag modal-logic [70 articles]

Recent papers classified by the tag modal-logic.
  • A modal calculus for effect handling
    No. CMU-CS-03-149. (2003)
    by A Nanevski
    posted to effects modal-logic monads by zednenem on 2007-01-02 07:31:39 as ** along with 1 person and 1 group greenrd SRG_at_UCD
  • Modal Logic As Dialogical Logic
    Synthese, Vol. 127, No. 1 - 2. (April 2001), pp. 57-93.
    by Patrick Blackburn
    posted to computability-logic dialogical-logic ludics modal-logic by Scis0000002 on 2007-07-01 15:37:46 as ** along with 1 person greg_restall
  • Efficient Constraints on Possible Worlds for Reasoning about Necessity
    by M Stone
    posted to modal-logic by Scis0000002 on 2007-08-07 00:18:34 as **
  • Coalgebras and modal logic
    (2000)
    by M Iger
    posted to coalgebra coalgebras modal-logic by Scis0000002 on 2008-05-05 23:14:49 as **
  • Geometric theories and modal logic in the calculus of structures
    (2005)
    by R Hein
    posted to modal-logic meta-level-architectures grothendieck-toposes geometric-theories geometric-logic constructivity constructive-logic calculus-of-structures algebraicity by Scis0000002 on 2007-08-04 09:23:23 as **
  • Logical Patterns in Space
    (1999)
    by M Aiello, J van Benthem
    posted to computational-mechanics logics modal-logic spatial topological-space topology by Scis0000002 on 2007-09-24 00:51:04 as **
  • Multilanguage Hierarchical Logics or: How we can do Without Modal Logics
    Artificial Intelligence, Vol. 65, No. 1. (1994), pp. 29-70.
    by Fausto Giunchiglia, Luciano Serafini
    posted to all-possible-worlds dunn-semantics hierarchical-logic hierarchical-metalanguages hierarchy-of-metalanguages kripke-semantics kripke-structures logical-frameworks metalanguages meta-level-architectures meta-level-reasoning modal-logic multi-language-systems by Scis0000002 on 2007-08-19 17:03:21 as ** along with 1 person jacob
  • Operations on Proofs That Can Be Specified By Means of Modal Logic
    by Sergei Artemov
    posted to modal-logic proof-transformations by Scis0000002 on 2007-09-25 13:26:15 as **
  • Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics
    (14 Nov 2007)
    by Kunji Nakayama
    posted to mechanics modal-logic qm quantum-logic topos-theory by Scis0000002 on 2008-01-04 13:26:44 as **
  • Modal and meta languages: consistency and expressiveness
    (1995)
    by L Aiello, M Cialdea, D Nardi, M Schaerf
    posted to metalanguages meta-level-architectures modal-logic self-reference self-referentiality by Scis0000002 on 2007-09-24 23:12:50 as **
  • On the relation between intuitionistic and classical modal logics
    by Frank Wolter, Michael Zakharyaschev
    posted to intuitionistic modal-logic by scis0000001 on 2007-04-29 16:54:53 as **
  • Expressiveness of Metric modalities for continuous time
    (22 Nov 2006)
    by Yoram Hirshfeld, Alexander Rabinovich
    posted to temporal quantitative modality modal-logic expressiveness by scis0000001 on 2007-02-04 15:34:59 as ** along with 1 person dmitri83
  • Developing theories of types and computability via realizability
    (1999)
    by Lars Birkedal
    posted to algebraic-lattice computability-logic computability-theory effective-topos equilogical-space fibrations fol logics modal-logic predicate-logic realizability realizer sheav-theory topos-theory tripos-theory type-theory by scis0000001 on 2007-05-09 23:12:59 as **
  • Modal and Temporal Operators on Partial Orders
    by Bernhard Möller
    posted to temporal-logic temporal semantics quantitative partial-order modal-logic logics ideal-domains domain-theory by scis0000001 on 2007-01-27 13:46:16 as **
  • Monotonic Modal Logics
    by Helle H Hansen
    posted to monotonic modal-logic by scis0000001 on 2007-01-30 09:21:27 as ** along with 1 person dmitri83
  • notes A modal type system for multi-level generating extensions with persistent code
    (2006), pp. 201-212.
    by Yosihiro Yuse, Atsushi Igarashi
    posted to modal-logic temporal-logic type-theory by msakai on 2007-09-17 17:44:08 as read along with 1 person kozima
  • Solution of a Problem of Leon Henkin
    The Journal of Symbolic Logic, Vol. 20, No. 2. (1955), pp. 115-118.
    by MH Lob
    posted to logic modal-logic by msakai on 2007-09-16 05:19:21 as **
  • Modal logics between propositional and first-order
    (2002)
    by M Fitting
    posted to modal-logic by msakai on 2007-10-12 02:51:25 as **
  • notes A deep inference system for the modal logic S
    (2006)
    by P Stouppa
    posted to modal-logic by msakai on 2007-12-06 14:47:07 as read
  • A simple propositional S5 tableau system
    pp. 107-115.
    by M Fitting
    posted to modal-logic by msakai on 2007-11-25 03:25:39 as read
  • A Modal Logic for Role-Based Access Control
    Computer Network Security (2005), pp. 179-193.
    by Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin
    posted to access-control modal-logic by mfrydr on 2007-12-06 00:21:16 as ** along with 3 people and 2 groups weqa charoy security01 ecoo-pe complogic
  • A Fragment of Intuitionistic Dynamic Logic
    Fundam. Inf., Vol. 46, No. 3. (August 2001), pp. 187-197.
    by Sergio A Celani
    posted to dynamic_logic intuitionism modal-logic by mfrydr on 2007-11-16 15:52:12 as ** along with 1 group complogic
  • 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 **
  • 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 **
  • 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
  • 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 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
  • 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 **
  • 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
  • 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
  • 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 **
  • 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
  • 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
  • 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 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 **
  • 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
  • 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 ***
  • 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 **
  • 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 **
  • 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
  • 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
  • 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
  • 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
  • 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 ***
  • 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
  • Monad-independent dynamic logic in HasCasl
    (2003)
    by L Schröder, T Mossakowski
    posted to category-theory functional modal-logic monads by jsala on 2006-12-03 23:49:16 as **** along with 1 person glaubersp
  • From dynamic binding to state via modal possibility
    (2003), pp. 207-218.
    by Aleksandar Nanevski
    posted to dynamic-scoping modal-logic by dherman to the group NU-PRL on 2006-07-12 00:01:17 as ** along with 2 people alec EdwardKmett
  • A Modal Language for Effects
    by Sungwoo Park, Robert Harper
    posted to effects modal-logic by dherman to the group NU-PRL on 2004-12-23 15:19:22 along with 2 people twleung tautologico
  • A Way of Making World Quantification Explicit
    Logic Journal of the IGPL, Vol. 12, No. 3., 199.
    by Stefano Baratella, Andrea Masini
    posted to modal-logic world-passing by dherman to the group NU-PRL on 2004-12-29 03:31:55 along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/modal-logic

    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.