Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
141	Damage Assessment of Structure by the Reciprocal Theorem of Elastodynamics and the Frequency Domain Decomposition (FDD) Method Chung-Yue Wang, Che-Hau Chiang & Chin-Kuo Huang Department of Civil Engineering, National Cen Add to Reading List Source URL: www.cber.ncu.edu.tw Language: English - Date: 2015-03-26 01:45:12 Wave mechanics Physics Calculus Mechanics Acoustics Structural analysis Earthquake engineering Vibration Modal testing Modal analysis Curvature Modal logic
142	PRESS RELEASE 14TH SEPTEMBERAbbey Logistics Group Enter Multi-Modal Marketplace Abbey Logistics Group are delighted to report the commencement of multi modal movements from Europe to the UK with the introduction Add to Reading List Source URL: www.abbeylogisticsgroup.com Language: English - Date: 2016-08-17 10:44:06 Logistics Systems engineering
143	On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:19:27 Logic Mathematical logic Non-classical logic Modal logic Model theory Philosophical logic Admissible rule Intermediate logic Kripke semantics Propositional calculus Completeness Modal companion
144	Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure
145	On the Modal Understanding of Triadic Contexts Frithjof Dau and Rudolf Wille Technische Universitat Darmstadt, Fachbereich Mathematik Schlogartenstr. 7, D{64289 Darmstadt, fdau, Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-10-31 23:07:37 Logic Mathematics Philosophy Lattice theory Data mining Formal concept analysis Machine learning Ontology Algebraic logic Boolean algebra Binary relation Modal logic
146	MODAL CONCORD: FROM A CORPUS PERSPECTIVE Yanyan Cui Department of Linguistics, Georgetown University In this talk, I discuss the distribution of modal expressions embedded under attitude verbs with the aim of better unde Add to Reading List Source URL: www.macsim.us Language: English - Date: 2013-04-02 10:11:04 Linguistics Grammatical moods Grammar Syntax English subjunctive Shall and will Language
147	ESSENCE AND MODALITY Kit Fine Philosophy, NYU June, 1992; revised February, 1993 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Philosophy Philosophical logic Modality Reality Logical truth Ancient Greek philosophers Two Dogmas of Empiricism Modal logic Meaning Truth Socrates Essentialism
148	A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2010-08-24 07:12:03 Logic Mathematical logic Modal logic Non-classical logic Model theory Propositional calculus Admissible rule Intermediate logic Kripke semantics Substitution FO Modal companion
149	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
150	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic