Department Members
Department Activity
Details
-
MA program offered
Also at Roskilde University
-
Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Gaiffe Evan, Goris Maarten, and Marx Maarten, Rijke. PDL for ordered treesJournal of Applied Non-Classical Logics. forthcoming.
-
Michi De R and Patrick Blackburn, Special issue on combining logics, volume 37 (2) ofNotre Dame Journal of Formal Logic. forthcoming.
-
Esther Oluffa Pedersen, Call For Abstracts - Special Issue: Philosophical Perspectives on Trust and Distrust in Contemporary SocietiesSats. Northern European Journal of Philosophy. forthcoming.
-
Patrick Blackburn, Per Hasle, and Peter Ohrstrom, Logic and Philosophy of Time - Themes from Prior (edited book)Aalborg Universitetsforlag. 2018.
-
Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, and Torben Braüner, Synthetic completeness proofs for Seligman-style tableau systemsIn Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11, Csli Publications. pp. 302-321. 2016.
-
Carlos Areces, Patrick Blackburn, Antonia Huertas, and María Manzano, Completeness in Hybrid Type TheoryJournal of Philosophical Logic 43 (2-3): 209-238. 2014.
-
Anders Søgaard, Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language: CSLI Publications, Stanford 2005, pp. xi+348, US$ 30.00, ISBN 1-57586-496-7 (paperback) (review)Studia Logica 85 (3): 413-418. 2007.
-
Patrick Blackburn, Johan Van Benthem, and Frank Wolter, Handbook of Modal Logic (edited book)Elsevier. 2006.
-
Patrick Blackburn, Representation and inference for natural language: a first course in computational semanticsCenter for the Study of Language and Information. 2005.
-
Patrick Blackburn, Instructions for authorsJournal of Logic, Language and Information 14 (1): 491-496. 2005.
-
Patrick Blackburn, C. Ghidini, R. Turner, and F. Giunchiglia, Proceedings of the Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03), Lecture Notes in Artificial Intelligence, vol. 2680 (edited book)Springer. 2003.
-
Patrick Blackburn and Marx Maarten, Remarks on Gregory's “Actually” OperatorJournal of Philosophical Logic 31 (3): 281-288. 2002.
-
Marcus Kracht, Modal LogicBulletin of Symbolic Logic 8 (2): 299-301. 2002.
-
Carlos Areces, Patrick Blackburn, and Maarten Marx, Hybrid Logics: Characterization, Interpolation and ComplexityJournal of Symbolic Logic 66 (3): 977-1010. 2001.
-
Patrick Blackburn, Maarten de Rijke, and Yde Venema, Modal LogicStudia Logica 76 (1): 142-148. 2001.
-
Patrick Blackburn and Klaus Frovin Jørgensen, Indexical Hybrid Tense LogicIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 144-160. 1998.
-
Patrick Blackburn, Introduction: Static and dynamic aspects of syntactic structure (review)Journal of Logic, Language and Information 4 (1): 1-4. 1995.
-
Patrick Blackburn and Edith Spaan, A modal perspective on the computational complexity of attribute value grammarJournal of Logic, Language and Information 2 (2): 129-169. 1993.