On the size of shortest modal descriptions Santiago Figueira 1 Departamento de Computaci´ on, FCEyN, Universidad de Buenos Aires and CONICET Pabell´ on I, Ciudad Universitaria

Source URL: www.glyc.dc.uba.ar

From The Independent 23 OctoberDAVID LEWISThe death of David Lewis at the age of 60 has deprived philosophy of one of its most original and brilliant thinkers. Lewis was a systematic philosopher in a

Source URL: www.timcrane.com

• Modal logic
• Rationalists
• Ontology
• David Lewis
• Logicians
• Supervenience
• Possible world
• Gottfried Leibniz
• Reality
• Philosophy
• Metaphysics
• Possibility

Recognizing Human Activities from Multi-Modal Sensors

Source URL: www.cse.unt.edu

• Electromagnetism
• Wireless networking
• Science
• Wireless sensor network
• Activity recognition
• Magnetometer
• Technology
• Measuring instruments
• Sensors

Linear Contextual Modal Type Theory Anders Schack-Nielsen IT University of Copenhagen Copenhagen, Denmark

Source URL: www.itu.dk

39 The Complexity of Decomposing Modal and First-Order Theories ¨ STEFAN GOLLER , University of Bremen JEAN-CHRISTOPH JUNG, University of Bremen

Source URL: www.informatik.uni-bremen.de

TRANS 3 Multi-modal travel information service for transport in the tri-national agglomeration of Basel based on real time data Christian Egeler, dipl. Ing. ETH, RAPP AG Engineers and Planners

Source URL: www.strc.ch

Reasoning about local properties in modal logic Hans van Ditmarsch Department of Logic University of Seville Spain

Source URL: www.ifaamas.org

THEMATIC FIELD: MODAL SHIFT ACTIONS TRANSPORT In the Alpine Rhine Valley,

Source URL: alpstar-project.eu

FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL — “Advanced Topics in Logic: Modal Logic” Winter Term 2013 Course Outline

Source URL: ucalgary.ca

Supporting the driver in conserving energy and reducing emissions D12.2: Multi-modal in-vehicle and nomadic device eco-driving support for car drivers (Version 7; )

Source URL: www.ecodriver-project.eu