Modal

Results: 2914



#Item
471Temporal logic / Hybrid logic / Modal depth / Interpretation / Artificial neuron / Logic / Modal logic / Epistemic modal logic

The Expressive Power of Memory Logics Carlos Areces Diego Figueira Santiago Figueira

Add to Reading List

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

Language: English - Date: 2011-05-10 14:09:19
472Herman Dooyeweerd / Reformational philosophy / Modal logic / D. F. M. Strauss / Entailment / Interpretation / D. H. Th. Vollenhoven / Critique of Pure Reason / Verificationism / Philosophy / Logic / Philosophical logic

An Analysis of the Structure of Analysis (The Gegenstand-relation in discussion) door D.F.M. Strauss (Appeared in Philosophia Reformata, 1984, Nr.1 pp.35-56)

Add to Reading List

Source URL: christelijkefilosofie.nl

Language: English - Date: 2015-06-01 10:42:43
473Models of computation / Order theory / Philosophical logic / Computability theory / Equivalence relation / Lambda calculus / Preorder / Modal logic / Denotational semantics / Mathematics / Logic / Mathematical logic

Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”,

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2008-07-23 07:52:00
474Transportation planning / Cycling / Exercise / Safety in numbers / Bicycle / Modal share / Transport / Sustainable transport / Cycling in New Zealand

Microsoft PowerPoint - Macmillan, Alex

Add to Reading List

Source URL: trafinz.org.nz

Language: English - Date: 2012-10-09 22:02:14
475

CO³ : New Co-modal Test - Newsletter noThe project CO3 is driving the transition towards more collaborative freight transport in Europe. The latest insights on the added value in ICT logistics for horizontal co

Add to Reading List

Source URL: www.co3-project.eu

Language: English - Date: 2013-04-19 05:36:02
    476Model theory / Arguments for the existence of God / Philosophical logic / Functions and mappings / Modal logic / Mathematical proof / Function / Isabelle / Ontological argument / Logic / Mathematics / Mathematical logic

    Formalization, Mechanization and Automation of G¨ odel’s Proof of God’s Existence? Christoph Benzm¨ uller1 and Bruno Woltzenlogel Paleo2 1

    Add to Reading List

    Source URL: www.logic.at

    Language: English - Date: 2013-08-25 01:30:42
    477Physics / Anechoic chamber / Noise / Psychoacoustics / Modal analysis / Noise /  vibration /  and harshness / Acoustics / Waves / Sound

    © Luis Ceifao - Fotolia.com THE SOLUTION FOR YOUR A COUSTIC AND VIBRATION-RELATED TASKS www.nvh-consulting.com

    Add to Reading List

    Source URL: www.head-acoustics.de

    Language: English - Date: 2012-08-16 06:26:26
    478Laser Doppler vibrometer / Engineering / Spectroscopy / Modal analysis / Vibration / Acoustics / Loudspeaker / Normal mode / Microphone / Physics / Measuring instruments / Technology

    Microsoft Word - Flyer Laser_en.doc

    Add to Reading List

    Source URL: www.ibp.fraunhofer.de

    Language: English - Date: 2015-07-17 14:07:36
    479Information science / Temporal logic / Modal logic / Science / Information / Non-classical logic / Artificial intelligence / Description logic

    Towards More Useful Description Logics of Time, Change and Context V´ıctor Didier Guti´errez Basulto DISSERTATION zur Erlangung des akademischen Grades

    Add to Reading List

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

    Language: English - Date: 2014-05-22 05:57:02
    480Programming paradigms / Query languages / Deduction / Database / Relational model / Entailment / Modal logic / SQL / Knowledge representation and reasoning / Logic / Database management systems / Philosophical logic

    Declarative Updates in Deductive Object-Oriented Databases Mengchi Liu John Cleary

    Add to Reading List

    Source URL: www.cs.waikato.ac.nz

    Language: English - Date: 2010-06-14 20:29:16
    UPDATE