新規登録 | ログイン | FAQ      [?] 

タグ: modal [55 articles]

Recent papers classified by the tag modal.
  • Bilattices and modal operators
    (1990), pp. 273-287.
    by Matthew L Ginsberg
    posted to bilattice logic modal multivalue by yijunyu on 2007-01-04 17:09:42 as **
  • Description logics of minimal knowledge and negation as failure
    ACM Trans. Comput. Logic, Vol. 3, No. 2. (April 2002), pp. 177-225.
    by Francesco M Donini, Daniele Nardi, Riccardo Rosati
    posted to as description failure knowledge logic minimal modal negation by yarden on 2005-03-17 04:19:12 as ****
  • Recent Defenses of Descriptivism
    Mind & Language, Vol. 20, No. 1. (February 2005), 103.
    by Anthony Everett
    posted to arguments descriptivism kripke modal by wyatt on 2005-03-19 02:17:18 as ***
  • Intuitionistic Necessity Revisited
    No. CSR-96-10. (1996)
    by GM Bierman, Valeria de Paiva
    posted to linear logic modal own by vcvpaiva on 2005-11-19 16:42:39 as read
  • Explicit Substitutitions for Constructive Necessity
    by Neil Ghani, Valeria de Paiva, Eike Ritter
    posted to explicit-subs logic modal by vcvpaiva on 2005-11-19 17:12:44 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 intuitionistic logic modal by vcvpaiva on 2005-11-19 16:50:09 as read along with 1 person kozima
  • Computational Types from a Logical Perspective
    Journal of Functional Programming, Vol. 8, No. 2. (1998), pp. 177-193.
    by PN Benton, Gavin Bierman, Valeria de Paiva
    posted to logic modal own by vcvpaiva on 2005-11-19 16:43:18 as read along with 1 person jsala
  • Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic
    by Gianluigi Bellin, Valeria de Paiva, Eike Ritter
    posted to categorical logic modal by vcvpaiva on 2005-11-19 16:57:25 as read along with 1 person kozima
  • Modal Logic
    (15 November 2002)
    by Patrick Blackburn, Maarten de Rijke, Yde Venema
    posted to logic modal by terumiyake on 2006-05-07 22:18:26 as read along with 1 person shenshei
  • A Nonparametric Statistical Approach to Clustering via Mode Identification
    Journal of Machine Learning Research, Vol. 8 (August 2007), pp. 1687-1723.
    by Jia Li, Surajit Ray, Bruce G Lindsay
    posted to clustering modal self by surajitray on 2008-05-12 22:38:53 as **
  • The topography of multivariate normal mixtures
    (11 Feb 2006)
    by Surajit Ray, Bruce G Lindsay
    posted to clustering mixtture modal self by surajitray on 2008-05-12 22:42:56 as **
  • A Semi-Automatic Framework to Discover Epistemic Modalities in Scientific Articles
    (7 Apr 2008)
    by Sviatlana Danilava, Christoph Schommer
    posted to epistemology language linguistics modal by spinaltap526 on 2008-04-23 19:30:04 as ****
  • Resolution in Modal, Description and Hybrid Logic
    by Carlos Areces, Hans de Nivelle, Maarten de Rijke
    posted to resolution modal logic hybrid description by shenshei on 2007-01-30 16:20:55 as read
  • On an Intuitionistic Modal Logic
    Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416.
    by GM Bierman, VCV de Paiva
    posted to intuitionistic logic modal proof theory by sheila1 on 2007-05-23 14:21:54 as read along with 2 people and 1 group glaubersp kozima complogic
  • 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 intuitionistic logic modal proof theory by sheila1 on 2007-05-23 14:20:58 as read along with 1 group complogic
  • Temporal and modal logic
    (1990), pp. 995-1072.
    by Allen E Emerson
    edited by Jan van Leeuwen
    posted to logic modal temporal by schuh on 2006-08-25 11:19:33 as ** along with 1 person bunge
  • Context logic as modal logic: completeness and parametric inexpressivity
    SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 123-134.
    by Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
    posted to logic modal by robdockins on 2008-04-20 22:23:14 as ****
  • A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems
    (1993), pp. 65-75.
    by Hiu F Chau
    posted to logic modal proof search by robdockins on 2008-04-20 22:46:25 as **
  • Application of modal logic to programming
    Studia Logica, Vol. 39, No. 2. (1 June 1980), pp. 257-274.
    by Vaughan R Pratt
    posted to logic modal programming by robdockins on 2008-04-20 22:18:21 as read along with 1 person benoitstpierre
  • Categorical and Kripke Semantics for Constructive S4 Modal Logic
    (2001), pp. 292-307.
    by Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter
    posted to category logic modal theory by robdockins on 2008-04-20 22:28:41 as ***
  • A guide to completeness and complexity for modal logics of knowledge and belief
    Artif. Intell., Vol. 54, No. 3. (April 1992), pp. 319-379.
    by Joseph Y Halpern, Yoram Moses
    posted to logic modal by robdockins on 2008-04-20 22:26:44 as **
  • Rewrite rule systems for modal propositional logic
    J. Log. Program., Vol. 12, No. 3. (February 1992), pp. 281-298.
    by Annie Foret
    posted to logic modal rewriting by robdockins on 2008-04-20 22:33:37 as **
  • Mathematical modal logic: A view of its evolution
    Journal of Applied Logic, Vol. 1, No. 5. (October 2003), pp. 309-392.
    by R Goldblatt
    posted to logic modal by recordmymind on 2005-03-28 10:16:46 as ** along with 4 people rzach greg_restall dakvid GIGGLA
  • Automata-Theoretic Decision Procedures for Information Logics
    by Stéphane Demri, Ulrike Sattler
    posted to automata description logic modal by mahler on 2005-11-03 20:32:02 as ** along with 1 group Rightscom
  • A time domain model for transient simulation of synchronous machines using phase coordinates
    Power Engineering Society General Meeting, 2006. IEEE (2006), 6 pp..
    by PJ Lagace, MH Vuong, K Al-Haddad
    posted to modal stabilitaet synchronmaschine by loewentigger on 2008-04-22 08:16:02 as **
  • Construction of Power System lectromechanical Equivalents by Modal Analysis
    IEEE Transactions on Power Apparatus and Systems, Vol. PAS-90, No. 5. (1971), pp. 2049-2059.
    by JM Undrill, AE Turner
    posted to analysis modal simulation synchronmaschine by loewentigger on 2008-04-22 07:08:00 as **
  • Lattices of modal logics and their groups of automorphisms
    Annals of Pure and Applied Logic, Vol. 100, No. 1-3. (15 October 1999), pp. 99-139.
    by Marcus Kracht
    posted to groups modal by jonjonc on 2005-07-22 03:18:11 as **
  • Identification modale sous excitation ambiante : Application a la surveillance des ponts: Modal identification under ambient excitation: Application to bridge monitoring
    Mecanique & Industries, Vol. 4, No. 3. ( 2003), pp. 259-271.
    by Christian Cremona, de Souza, Alireza Alvandi
    posted to ambient application bridge excitation identification modal monitoring to under by jmorlier on 2006-02-21 16:49:56 as read
  • Assessment of vibration-based damage identification techniques
    Journal of Sound and Vibration, Vol. 292, No. 1-2. (25 April 2006), pp. 179-202.
    by A Alvandi, C Cremona
    posted to analysis damage indicators modal by jmorlier on 2006-02-21 16:48:45 as read
  • Learned audio-visual cross-modal associations in observed piano playing activate the left planum temporale. An fMRI study.
    Brain Res Cogn Brain Res, Vol. 20, No. 3. (August 2004), pp. 510-518.
    by T Hasegawa, K Matsuki, T Ueno, Y Maeda, Y Matsue, Y Konishi, N Sadato
    posted to auditory cross modal multimodality by j_hsieh on 2006-12-08 10:38:51 as ** along with 2 groups ilyajune Foresight
  • A Model Checking Language for Concurrent Value-Passing Systems
    FM 2008: Formal Methods (2008), pp. 148-164.
    by Radu Mateescu, Damien Thivolle
    posted to language modal modelchecker mu-calculus by hwang on 2008-06-10 16:20:05 as ***
  • Distributed modal theorem proving with KE
    Theorem Proving with Analytic Tableaux and Related Methods (1996), pp. 160-176.
    by Jeremy Pitt, Jim Cunningham
    posted to atp distributed modal tableau by hwang on 2008-06-17 20:53:22 as ***
  • On the Axiomatisation of Elgesem's Logic of Agency and Ability
    Journal of Philosophical Logic, Vol. 34, No. 4. (August 2005), pp. 403-431.
    by Guido Governatori, Antonino Rotolo
    posted to logic modal by guido on 2005-11-29 18:25:39 as read along with 1 person yarden
  • Ground Nonmonotonic Modal Logic S5: New Results
    Journal of Logic and Computation, Vol. 15, No. 5. (October 2005), pp. 787-813.
    by Mauricio O Galindo, Juan A Perez, Jose R Ramirez, Veronica B Macias
    posted to logic modal by guido on 2005-11-24 05:12:38 as ***
  • Evidentiality, modality and probability
    Linguistics and Philosophy, Vol. 30, No. 2. (15 April 2007), pp. 147-206.
    by Eric Mccready, Norry Ogata
    posted to probability modality modal linguistics evidentiality by garyfeng to the group ReadingLab on 2007-08-29 03:25:45 as ***** along with 2 people dutant rooth
  • Many-Valued Modal Logics
    Fundamenta Informaticae, Vol. XV (1991), pp. 235-254.
    by Melvin C Fitting
    posted to algebra frame logic many_valued modal by greg_restall on 2005-03-13 04:27:31 as ** along with 1 person Benet
  • Propositional logic of continuous transformations in Cantor space
    Archive for Mathematical Logic, Vol. 44, No. 6. (2005), pp. 783-799.
    by Grigori Mints, Ting Zhang
    posted to cantor continuous logic modal space transformation by greg_restall on 2005-09-06 15:48:25 as ** along with 2 people and 2 groups A_Olympia scis0000001 Philosophy_of_Information Blog_and_Wiki_Research
  • From Modal Discourse to Possible Worlds
    Studia Logica, Vol. 82, No. 3. (April 2006), pp. 307-327.
    by Cresswell, Maxwell
    posted to discourse ideology logic modal ontology possible_world by greg_restall on 2006-05-24 22:12:52 as *** along with 1 person and 1 group JessLaccetti Transliteracy
  • The Knower Paradox in the light of provability interpretations of modal logic
    Journal of Logic, Language and Information, Vol. 14, No. 1. (December 2004), pp. 13-48.
    by Egre Paul
    posted to epistemic knowability logic modal by greg_restall on 2005-03-12 04:27:35 as **
  • Modal Logic As Dialogical Logic
    Synthese, Vol. 127, No. 1 - 2. (April 2001), pp. 57-93.
    by Patrick Blackburn
    posted to dialogue logic modal pnc by greg_restall on 2006-05-25 01:39:02 as ** along with 1 person Scis0000002
  • Admissible Rules of Modal Logics
    Journal of Logic and Computation, Vol. 15, No. 4. (August 2005), pp. 411-431.
    by Emil Jerabek
    posted to rules modal logic inference by GIGGLA on 2007-01-10 23:25:01 as ****
  • Multi-modal presentation of medical histories
    (2008), pp. 80-89.
    by Catalina Hallett
    posted to infovis medical modal multi timeline by fryanpan on 2008-08-14 21:09:57 as **
  • Situation Calculus as Hybrid Logic: First Steps
    (2001), pp. 253-260.
    by Patrick Blackburn, Jaap Kamps, Maarten Marx
    posted to ai hybrid logic modal reasoning_about_action situation_calculus by fakirhs on 2005-07-06 05:48:44 as ****
  • From dynamic binding to state via modal possibility
    (2003), pp. 207-218.
    by Aleksandar Nanevski
    posted to modal possibility by EdwardKmett on 2006-08-18 11:48:14 as ** along with 2 people and 1 group dherman alec NU-PRL
  • Relevant alternatives
    Philosophical Studies, Vol. 55, No. 1. (1 January 1989), pp. 23-40.
    by Mark Heller
    posted to contextualism epistemic_luck epistemology knowledge_attributions luck modal relevant_alternatives by dutant on 2008-06-21 11:54:24 as *****
  • Mathematical modal logic: a view of its evolution
    (2000)
    by R Goldblatt
    posted to history logic modal by derrickn on 2007-03-12 15:46:47 as **
  • Sequential neural processes of tactile-visual crossmodal working memory.
    Neuroscience (29 November 2005)
    by S Ohara, F Lenz, Y-D D Zhou
    posted to cross modal zhou by deepakdash on 2006-10-24 23:54:20 as ***** along with 2 people takahashi ko_battlefield
  • Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
    (8 Mar 2006)
    by Willem Conradie, Valentin Goranko, Dimiter Vakarelov
    posted to definability logic modal by david_lewis on 2006-06-21 14:24:12 as **
  • Precise segmentation of multimodal images
    Image Processing, IEEE Transactions on, Vol. 15, No. 4. (2006), pp. 952-968.
    by AA Farag, AS El-Baz, G Gimel'farb
    posted to histogram image modal processing segmentation by cherrie on 2008-07-25 10:09:09 as **
  • Using temporal logics to express search control knowledge for planning
    Artificial Intelligence, Vol. 116, No. 1-2. (2000), pp. 123-191.
    by Fahiem Bacchus, Froduald Kabanza
    posted to checking classical logic modal model planning by charlesg on 2005-04-06 02:48:28 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/modal

    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.