Tag modal [78 articles] Export

Recent papers classified by the tag modal.

	Some Multi-Conclusion Modal Paralogics [My Copy] Logica Universalis, Vol. 1, No. 2. (20 October 2007), pp. 335-353. by Casey McGinnis posted to relevant paraconsistent modal by MichaelDe on 2009-10-29 16:34:23 as
	Assertion, denial and some cancellation rules in modal logic [My Copy] Journal of Philosophical Logic, Vol. 17, No. 3. (1 August 1988), pp. 299-318. by Timothy Williamson posted to modal denial by MichaelDe on 2009-10-03 18:13:21 as
	Semantic analysis of orthologic [My Copy] Journal of Philosophical Logic, Vol. 3, No. 1. (1 March 1974), pp. 19-35. by R. I. Goldblatt posted to negation modal by MichaelDe on 2009-09-25 15:32:27 as
	Logic of change, change of logic [My Copy] Synthese by Hans van Ditmarsch, Brian Hill, Ondrej Majer posted to modal epistemic_logic by MichaelDe on 2009-09-08 06:05:41 as
	Real-time Adaptive Control of Modal Synthesis [My Copy] In National University of Singapore (2003), pp. 99-103. by Reynald Hoskinson, Kees van den Doel, Sidney Fels posted to synthesis modal by blloyd00 on 2009-09-01 17:53:00 as
	Modal Synthesis for Arbitrarily Shaped Objects [My Copy] Comput. Music J., Vol. 30, No. 3. (September 2006), pp. 22-37. by Cynthia Bruyns posted to synthesis modal by blloyd00 on 2009-09-01 17:47:17 as along with 1 person and 1 group cerkut contact-id
	Decoherence, measurement and interpretation of quantum mechanics [My Copy] (27 Aug 2009) by Juan S. Ardenghi, Mario Castagnino, Sebastian Fortin, Olimpia Lombardi posted to quantum modal interpretations foundations decoherence by egcavalcanti on 2009-08-31 04:48:59 as
	Algebra and logic for access control [My Copy] Formal Aspects of Computing (2009) by Matthew Collinson, David Pym posted to system process-algebra modal logic framework distributed algebraic access-control 2009 by michaelbanks on 2009-08-19 10:52:50 as along with 1 person pirapira
	Fusions of Modal Logics Revisited [My Copy] (1996) by Frank Wolter posted to fusions logics modal by dokooh on 2009-08-05 15:35:44 as
	Multi-Dimensional Modal Logic (Applied Logic Series) [My Copy] (30 November 1996) by M. Marx, Yde Venema posted to dimension logic modal multidimensional multiple semantic by dokooh on 2009-08-05 15:23:40 as
	Kripke semantics for provability logic GLP [My Copy] Annals of Pure and Applied Logic (14 July 2009) by Lev D. Beklemishev posted to modal proof by MichaelDe on 2009-07-29 23:47:03 as
	Truth Values and Proof Theory [My Copy] Studia Logica by Greg Restall posted to constructivism modal proof by MichaelDe on 2009-07-20 20:40:47 as along with 1 person kozima
	Why Combine Logics? [My Copy] Studia Logica, Vol. 59, No. 1. (1 July 1997), pp. 5-27. by Patrick Blackburn, Maarten de Rijke posted to logic_general modal by MichaelDe on 2009-07-15 22:01:04 as
	Star and Perp: Two Treatments of Negation [My Copy] Philosophical Perspectives, Vol. 7 (1993), pp. 331-357. by J. Michael Dunn posted to algebraic modal negation by MichaelDe on 2009-06-23 11:35:49 as along with 2 people greg_restall noam_zeilberger
	Automatic prediction of frustration [My Copy] International Journal of Human-Computer Studies, Vol. 65, No. 8. (August 2007), pp. 724-736. by Ashish Kapoor, Winslow Burleson, Rosalind W. Picard posted to agent conductance facial frustration learner modal mouse multi prediction pressure recognition sensor skin young by pinventado on 2009-06-11 12:15:52 as along with 3 people and 1 group jeremygow tessaverhoef cmuehl classification of affect
	Interpolation in Modal Logic [My Copy] Algebraic Methodology and Software Technology (1999), pp. 154-163. by Maarten Marx posted to interpolation logic modal by sgwyj on 2009-05-07 21:22:51 as
	Multimodal affect recognition in learning environments [My Copy] In MULTIMEDIA '05: Proceedings of the 13th annual ACM international conference on Multimedia (2005), pp. 677-682. by Ashish Kapoor, Rosalind W. Picard posted to affect empathic feedback modal multi physiological recogntion sensor by pinventado on 2009-05-04 05:34:26 as
	Italian children's understanding of the epistemic and deontic modal verbs dovere (must) and potere (may). [My Copy] Journal of child language, Vol. 29, No. 1. (February 2002), pp. 87-107. by E. Bascelli, M. S. Barbieri posted to _tomvs_ belief child epistemics italian language modal theory_of_mind by garyfeng to the group ReadingLab on 2009-05-03 06:09:02 as
	Belief term development in children with autism, Asperger syndrome, specific language impairment, and normal development: links to theory of mind development. [My Copy] Journal of child psychology and psychiatry, and allied disciplines, Vol. 39, No. 5. (July 1998), pp. 755-763. by K. Ziatas, K. Durkin, C. Pratt posted to _tomvs_ autism belief language_acquisition language_impairment modal theory_of_mind by garyfeng to the group ReadingLab on 2009-05-03 04:43:48 as
	Children's understanding of the modal expression of speaker certainty and uncertainty and its relation to the development of a representational theory of mind. [My Copy] Child development, Vol. 61, No. 3. (June 1990), pp. 722-730. by C. Moore, K. Pure, D. Furrow posted to _tomvs_ child language modal pragmatics theory_of_mind by garyfeng to the group ReadingLab on 2009-05-03 04:42:11 as
	A New Modal Lindström Theorem [My Copy] Logica Universalis, Vol. 1, No. 1. (23 January 2007), pp. 125-138. by Johan van Benthem posted to compactness expressivity lindstrom modal by fdechesn on 2009-04-02 13:29:02 as
	Conditional logics of normality: a modal approach [My Copy] Artif. Intell., Vol. 68, No. 1. (1994), pp. 87-154. by Craig Boutilier posted to modal nonmonotonic_reasoning by hermeschris on 2009-03-17 11:08:54 as
	On the Plurality of Worlds [My Copy] (01 February 2001) by David Lewis posted to distinction endurant modal perdurant realism thesis by leechuck on 2008-09-21 12:31:22 as along with 1 person and 2 groups voiklis Philosophy-Metaphysics ColDyn
	Multi-modal presentation of medical histories [My Copy] In IUI '08: Proceedings of the 13th international conference on Intelligent user interfaces (2008), pp. 80-89. by Catalina Hallett posted to infovis medical modal multi timeline by fryanpan on 2008-08-14 21:09:57 as along with 3 people and 1 group henk-cul Scis0000002 camargoj dbmi-nlp
	Precise segmentation of multimodal images [My Copy] Image Processing, IEEE Transactions on In Image Processing, IEEE Transactions on, Vol. 15, No. 4. (2006), pp. 952-968. by A. A. Farag, A. S. El-Baz, G. Gimel'farb posted to histogram image modal processing segmentation by cherrie on 2008-07-25 10:09:09 as
	Modal logics for mobile processes [My Copy] Theoretical Computer Science, Vol. 114, No. 1. (14 June 1993), pp. 149-171. by Robin Milner, Joachim Parrow, David Walker posted to logic modal pi-calculus process_algebra by bfraser on 2008-06-24 17:38:54 as along with 1 person keigoi
	Relevant alternatives [My Copy] 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
	Distributed modal theorem proving with KE [My Copy] 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
	A Model Checking Language for Concurrent Value-Passing Systems [My Copy] 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
	The topography of multivariate normal mixtures [My Copy] (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 Nonparametric Statistical Approach to Clustering via Mode Identification [My Copy] 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
	A Semi-Automatic Framework to Discover Epistemic Modalities in Scientific Articles [My Copy] (7 Apr 2008) by Sviatlana Danilava, Christoph Schommer posted to nsf09 epistemology language linguistics modal by spinaltap526 on 2008-04-23 19:30:04 as
	A time domain model for transient simulation of synchronous machines using phase coordinates [My Copy] Power Engineering Society General Meeting, 2006. IEEE In Power Engineering Society General Meeting, 2006. IEEE (2006), 6 pp.. by P. J. Lagace, M. H. 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 [My Copy] IEEE Transactions on Power Apparatus and Systems In IEEE Transactions on Power Apparatus and Systems, Vol. PAS-90, No. 5. (1971), pp. 2049-2059. by J. M. Undrill, A. E. Turner posted to analysis modal simulation synchronmaschine by loewentigger on 2008-04-22 07:08:00 as
	A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems [My Copy] In LPAR '93: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (1993), pp. 65-75. by Hiu F. Chau posted to logic modal proof search by robdockins on 2008-04-20 22:46:25 as
	Rewrite rule systems for modal propositional logic [My Copy] 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
	Categorical and Kripke Semantics for Constructive S4 Modal Logic [My Copy] In CSL '01: Proceedings of the 15th International Workshop on Computer Science 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 [My Copy] 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
	Context logic as modal logic: completeness and parametric inexpressivity [My Copy] 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
	Application of modal logic to programming [My Copy] 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 along with 1 person benoitstpierre
	A modal analysis of staged computation [My Copy] J. ACM, Vol. 48, No. 3. (May 2001), pp. 555-604. by Rowan Davies, Frank Pfenning posted to modal by bfraser on 2008-01-25 19:08:33 as
	Evidentiality, modality and probability [My Copy] 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 3 people toso dutant rooth
	The Modal Logic of the Countable Random Frame [My Copy] by Valentin Goranko, Bruce Kapron posted to logic modal model_theory by archernikov on 2007-08-27 22:47:28 as along with 1 person dmitri83
	On an Intuitionistic Modal Logic [My Copy] Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416. by G. M. Bierman, V. C. V. de Paiva posted to theory proof modal logic intuitionistic by sheila1 to the group complogic on 2007-05-23 14:21:54 as along with 2 people glaubersp kozima
	A judgmental reconstruction of modal logic [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 4. (2001), pp. 511-540. by Frank Pfenning, Rowan Davies posted to theory proof modal logic intuitionistic by sheila1 to the group complogic on 2007-05-23 14:20:58 as
	Mathematical modal logic: a view of its evolution [My Copy] (2000) by R. Goldblatt posted to history logic modal by derrickn on 2007-03-12 15:46:47 as
	Modal-style operators in qualitative data analysis [My Copy] Data Mining, 2002. ICDM 2002. Proceedings. 2002 IEEE International Conference on (2002), pp. 155-162. by N. Duntsch, G. Gediga posted to fca modal rough_set by bfraser on 2007-02-20 23:05:57 as
	Resolution in Modal, Description and Hybrid Logic [My Copy] 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
	Admissible Rules of Modal Logics [My Copy] 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
	Mathematical modal logic: A view of its evolution [My Copy] Journal of Applied Logic, Vol. 1, No. 5. (October 2003), pp. 309-392. by R. Goldblatt posted to modal logic by GIGGLA on 2007-01-10 22:57:49 as along with 4 people recordmymind rzach greg_restall dakvid

Note: You may cite this page as: http://www.citeulike.org/tag/modal

Result page: 1 2 Next

logic	43
_tomvs_	6
language	6
theory_of_mind	6
proof	5
belief	4
child	4
cross	4
description	4
auditory	3
hybrid	3
intuitionistic	3
linguistics	3
multi	3
multimodality	3
negation	3
theory	3
algebraic	2
analysis	2
autism	2
automata	2
clustering	2
compactness	2
distributed	2
epistemic	2
epistemics	2
epistemology	2
evidentiality	2
expressivity	2
history	2
interpolation	2
italian	2
language_acquisition	2
language_impairment	2
lindstrom	2
modality	2
own	2
pragmatics	2
probability	2
self	2
sensor	2
synchronmaschine	2
synthesis	2
temporal	2
access-control	1
affect	1
ai	1
ambient	1
application	1
bilattice	1
cantor	1
checking	1
constructivism	1
contextualism	1
damage	1
dialogue	1
distinction	1
distribution	1
endurant	1
epistemic_luck	1
essurvey	1
facial	1
failure	1
fca	1
feedback	1
frustration	1
histogram	1
interpretations	1
knowledge_attributions	1
kripke	1
learner	1
logic_general	1
luck	1
model	1
modelchecker	1
multi-valued	1
multiple	1
nsf09	1
ontology	1
pi-calculus	1
pnc	1
possible_world	1
prediction	1
pressure	1
programming	1
quantum	1
recognition	1
relevant_alternatives	1
resolution	1
rules	1
semantic	1
space	1
system	1
tableau	1
thesis	1
to	1
under	1
widemouthedfrog	1
young	1
zhou	1

Tag modal [78 articles] Export

Related Tags