Modal

Results: 2914



#Item
591

ALDOT - Multi-Modal C654e

Add to Reading List

Source URL: www.alrtap.org

- Date: 2015-02-19 12:55:58
    592Semantics / Analytic philosophy / Bertrand Russell / Critical thinking / Modal logic / De dicto and de re / Theory of descriptions / Ambiguity / Ellipsis / Philosophy of language / Logic / Linguistics

    Philos Stud DOIs11098Descriptions, ambiguity, and representationalist theories of interpretation Philipp Koralus

    Add to Reading List

    Source URL: www.koralus.net

    Language: English - Date: 2014-04-05 07:50:01
    593Formal methods / Logic in computer science / Formal sciences / Cybernetics / Formal verification / Theoretical computer science / Model checking / Modal logic / Deontic logic / Logic / Mathematical logic / Applied mathematics

    Dynamic Reconfiguration of GCM components A.Basso, A. Bolotov, V. Getov {A.Basso,A.Bolotov,A.Getov}@wmin.ac.uk University of Westminster, UK L. Henrio

    Add to Reading List

    Source URL: coregrid.ercim.eu

    Language: English - Date: 2008-09-24 04:08:10
    594Learning / Attention deficit hyperactivity disorder / Methylphenidate / Stimulant / Attention deficit hyperactivity disorder management / Attention-deficit hyperactivity disorder controversies / Attention-deficit hyperactivity disorder / Psychiatry / Mind

    This paper is one section of a full critique of ADHD drugging in the UK. For the full paper please visit: http://thenewobserver.co.uk/features/adhd/ The Multi Modal study The study was published as “A 14-Month Random

    Add to Reading List

    Source URL: thenewobserver.co.uk

    Language: English - Date: 2015-05-12 17:16:19
    595Mathematics / Non-classical logic / Logic in computer science / Modal logic / Philosophical logic / Temporal logic / Model checking / Parity game / Ω-automaton / Logic / Mathematical logic / Automata theory

    A Solver for Modal Fixpoint Logics Oliver Friedmann Martin Lange Dept. of Computer Science University of Munich Munich, Germany

    Add to Reading List

    Source URL: files.oliverfriedmann.de

    Language: English - Date: 2012-02-10 07:43:07
    596Mathematical logic / Method of analytic tableaux / Ω-automaton / Tree automaton / Modal μ-calculus / Modal logic / Formal language / Well-formed formula / Deterministic automaton / Logic / Automata theory / Mathematics

    Tableaux with Automata (Extended Abstract) Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany 1

    Add to Reading List

    Source URL: files.oliverfriedmann.de

    Language: English - Date: 2012-02-10 07:43:21
    597Modal logic / Philosophical logic / Evidentiality / Grammar / Pragmatics / Truth / Epistemology / Doxastic logic / Function / Logic / Philosophy / Mathematics

    Epistemic Conservativity and Imprecise Credence Jason Konek University of Bristol Abstract

    Add to Reading List

    Source URL: www.susannaschellenberg.org

    Language: English - Date: 2015-04-13 10:00:48
    598Mathematics / Common knowledge / Epistemic modal logic / Probabilistic logic / Kripke semantics / Modal operator / Dynamic logic / Temporal logic / Belief revision / Logic / Mathematical logic / Modal logic

    Hans van Ditmarsch EPS – Project numberfor public dissemination

    Add to Reading List

    Source URL: personal.us.es

    Language: English - Date: 2013-08-13 03:09:02
    599Building engineering / Civil engineering / Project engineer / Lake County /  Florida / Secon / Geotechnical engineering / Construction / Architecture / Real estate

    Municipal Facility Projects Wooton Park Marina & Multi-Modal Downtown Redevelopment Project Tavares, FL

    Add to Reading List

    Source URL: www.besandh.com

    Language: English - Date: 2013-03-27 15:00:41
    600OSI protocols / XPath / Proof theory / Modal logic / Mathematical logic / EXist / Computing / XML / Logic

    PDF Document

    Add to Reading List

    Source URL: www.lsv.ens-cachan.fr

    Language: English - Date: 2014-11-01 10:18:07
    UPDATE