Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
921	A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-08-17 07:51:58 Logic in computer science Proof theory Non-classical logic Philosophical logic Type theory Modal logic Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
922	Practical Reasoning with Proofs and Types Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-02-09 17:15:05 Mathematics Non-classical logic Epistemology Philosophy of mathematics Logic in computer science Intuitionism Natural deduction Realizability Modal logic Logic Mathematical logic Mathematical constructivism
923	αleanTAP : A Declarative Theorem Prover for First-Order Classical Logic Joseph P. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington, IN 47405 {jnear,webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:06 Automated theorem proving Metalogic Formal methods First-order logic IP Well-formed formula Modal logic Theorem prover Propositional calculus Logic Mathematical logic Model theory
924	Cognitive Psychology[removed]–193 www.elsevier.com/locate/cogpsych Naı¨ve deontics: A theory of meaning, representation, and reasoning Monica Bucciarellia,1, P.N. Johnson-Lairdb,* Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:38:16 Ethology Thought Deontic logic Modal operator Reasoning Epistemology Norm Mental model Modal verb Logic Modal logic Science
925	memhlen; of the ISB has started the last year of the millennium with individual that we will be end of this year to face all of our to Add to Reading List Source URL: isbweb.org Language: English - Date: 2011-05-24 22:07:53 Biomechanics Motor control Modal logic
926	Requirements for Automatically Generating Multi-Modal Interfaces for Complex Appliances Jeffrey Nichols, Brad Myers, Thomas K. Harris, Roni Rosenfeld, Stefanie Shriver School of Computer Science Carnegie Mellon Universit Add to Reading List Source URL: www.jeffreynichols.com Language: English - Date: 2014-04-05 12:47:09 User interface techniques Virtual reality Software architecture Human–computer interaction User interface Graphical user interface Usability X Window System Embedded system Software Computing Network architecture
927	Flexi-modal and Multi-Machine User Interfaces Brad Myers, Robert Malkin, Michael Bett, Alex Waibel, Ben Bostwick, Robert C. Miller, Jie Yang, Matthias Denecke, Edgar Seemann, Jie Zhu, Choon Hong Peck, Dave Kong, Jeffrey Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-05-24 17:56:00 Computing Gesture recognition Command Post of the Future User interface Dialog system Mode Pointing device gesture Gesture Handwriting recognition User interface techniques Humanâ€“computer interaction Software
928	Background Description Logic Systems U S C Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 15:14:36 Health Mononegavirales Philosophy of mathematics Philosophical logic Rabies Is-a Modal logic Description logic Classifier Logic Science Non-classical logic
929	The current issue and full text archive of this journal is available at www.emeraldinsight.com[removed]htm VIEWPOINT Stepping aside and moving on: Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2012-02-16 14:46:37 Interdisciplinary fields Philosophical logic Mathematical logic Modal logic Knowledge Service dominant logic Logic Science
930	Alleged assassins: realist and constructivist semantics for modal modification Bjørn Jespersen1? and Giuseppe Primiero2?? 1 Institute of Philosophy, Department of Logic, Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 04:07:16 Model theory Non-classical logic Philosophical logic Modal logic Interpretation First-order logic Adjective Continuous function Function Logic Mathematical logic Mathematics

UPDATE