An Integrated Modal Approach to Rational Agents  W. van der Hoek B. van Lindery J.-J. Ch. Meyer Utrecht University { Department of Computer Science P.O. Box { 3508 TB Utrecht { The Netherlands Abstract

Source URL: www.cs.uu.nl

• Artificial intelligence
• Science
• Philosophical logic
• Multi-agent systems
• Game theory
• Action theory
• Kripke semantics
• Dynamic logic
• Intelligent agent
• Logic
• Mathematical logic
• Modal logic

Manifest Security for Distributed Information Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania March 6, 2006

Source URL: www.cis.upenn.edu

• Deduction
• Propositional calculus
• Philosophical logic
• Logical consequence
• Information flow
• Entailment
• Modal logic
• Computer security
• Soundness
• Logic
• Mathematical logic
• Proof theory

Microsoft Word - Land Metaphysics.web.doc

Source URL: www.freyamathews.net

• Philosophy of mind
• Modal logic
• Metaphysics
• Philosophy
• Pantheism
• Panpsychism

Information Interactions: User Interface Objects for CODER, INCARD, and MARIAN v. 2.5

Source URL: dlrl.cc.vt.edu

• User interface techniques
• Graphical user interface elements
• User interface
• Virtual reality
• Graphical user interface
• Modal window
• Class
• Object
• Genera
• Computing
• Software
• Object-oriented programming

Stalnaker on Indicative Conditionals John MacFarlane — Philosophy 142 April 19, 2011 1

Source URL: johnmacfarlane.net

• Logical consequence
• Propositional calculus
• Binary operations
• Counterfactual conditional
• Material conditional
• Modal logic
• Vacuous truth
• Indicative conditional
• Robert Stalnaker
• Logic
• Conditionals
• Philosophical logic

Community Development Department Anchorage: Performance. Value. Results. Purpose Community Development works to facilitate development and a multi-modal transportation system in accordance with municipal codes, protectin

Source URL: www.muni.org

fast facts Project: Interactive, Structured, Multi-modal Clinical Guidelines to Improve Quality of Care by Rural Healthcare Providers in India Lead Organization: Garhwal Community Development and Welfare Society (GCDWS)

Source URL: isif.asia

• Community health worker
• Health informatics
• Rural health
• Health care
• Medical guideline
• Disease management
• Medicine
• Health
• Medical informatics

Contingency FAQ Sheet: Please read this FAQ sheet before beginning your race season if you are going for any contingency at all. This form is a guide that will help to ensure CCS and ASRA riders are 100% compliant so tha

Source URL: www.asraracing.com

• Contingency
• Modal logic
• Propositions

Social Revision vs Aggregation Doxastic influence Stability and flux Dynamics in the community Plausibility influence Further issues

Source URL: cmss.auckland.ac.nz

• Reasoning
• Science
• Knowledge
• Belief revision
• Logic
• Social influence
• Plausibility structure
• Belief
• Modal logic
• Doxastic logic

LaTEX and Friends Creating beamer Presentations Marc van Dongen Frames Modal Presentations

Source URL: csweb.ucc.ie

• Software
• Beamer
• LaTeX
• Lout
• TeX
• Application software
• Presentation software
• Typography