Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
281	Modal Share of Persons Entering the Hub on a Fall Business Day Suburban Rail, Tramway, Bicycle, Private Ferry Add to Reading List Source URL: www.nymtc.org Language: English - Date: 2012-02-23 19:46:03
282	Advances in Modal Logic 2010 CONFERENCE PROGRAMME Tuesday, August 24 Conference Hall, 9-th floor 9:00 – 9:40 Registration (Room 515, 5-th floor) and Coffee 9:40 – 9:45 Opening Add to Reading List Source URL: aiml10.mi.ras.ru Language: English - Date: 2010-08-23 10:05:42
283	This article was downloaded by: [University of Delaware] On: 17 October 2014, At: 11:33 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: Registered office: Mortimer House, 37-41 Add to Reading List Source URL: papafragou.psych.udel.edu Language: English - Date: 2014-10-17 14:33:55 Logic Philosophy Grammatical moods Abstraction Modality Philosophical logic Modal logic Pragmatics Linguistic modality Modal verb Epistemic modality Epistemic possibility
284	The VC dimension of constraint-based grammars Max Banea , Jason Rigglea , Morgan Sondereggerb a University b University of Chicago, Department of Linguistics, 1010 East 59th Street, Chicago, IL 60637. Add to Reading List Source URL: people.linguistics.mcgill.ca Language: English - Date: 2012-07-11 18:04:53 Geometry Mathematics Mathematical optimization Linguistics Optimality theory Phonology Phonotactics Linear algebra Hyperplane Feasible region Arrangement of hyperplanes Modal logic
285	What will they say? – Public Announcement Games Thomas ˚ Agotnes∗ Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, N-5020 Bergen, Norway, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2010-07-02 04:54:56 Logic Modal logic Philosophy Formal epistemology Abstraction Artificial intelligence Non-classical logic Philosophical logic Dynamic epistemic logic Common knowledge Epistemic modal logic Kripke semantics
286	On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI, Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 14:28:46 Logic Mathematical logic Abstraction Predicate logic Model theory Philosophical logic Modal logic Kripke semantics First-order logic Sheaf FO Well-formed formula
287	Logic for Automated Mechanism Design — A Progress Report Michael Wooldridge∗ Thomas Agotnes† ∗ Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-21 09:47:36 Game theory Artificial intelligence Formal epistemology Modal logic Logic in computer science Common knowledge Epistemic modal logic Intelligent agent Alternating-time Temporal Logic Temporal logic Social software Mechanism design
288	Context Object Theory Computational Models Add to Reading List Source URL: mally.stanford.edu Language: English Logic Philosophy Abstraction Modal logic Modality Non-classical logic Philosophical logic Model theory First-order logic
289	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic
290	Coalitions and Announcements ◦ Thomas Agotnes Hans van Ditmarsch Add to Reading List Source URL: folk.uib.no Language: English - Date: 2008-02-06 12:58:25 Formal epistemology Modal logic Artificial intelligence Non-classical logic Philosophical logic Dynamic epistemic logic Symbol Epistemic modal logic Common knowledge Tiny Encryption Algorithm Kripke semantics Interpretation

UPDATE