Kurt Ranalter

kurt (at) dcs.qmul.ac.uk

Journal papers
- A semantic analysis of a logic for pragmatics with assertions, obligations, and causal implication
  in: Fundamenta Informaticae 84(3-4), pages 443-470, 2008
  [preprint]
- (with Gianluigi Bellin) A Kripke-style semantics for the intuitionistic logic of pragmatics ILP
  in: Journal of Logic and Computation 13(5), pages 755-775, 2003
  [preprint]

Workshop papers
- (with Christophe Raffalli) Continuations and adverbial modifiers
  Workshop on Symmetric Calculi and Ludics for the Semantic Interpretation (SCLSI), ESSLLI'08, Hamburg, August 2008
  [paper] [slides]
- Two-sequent K and simple fibrations (preliminary report)
  in: V. de Paiva and A. Nanevski (editors), Proceedings of the Workshop on Intuitionistic Modal Logics and Applications (IMLA'08), Microsoft Technical Report MSR-TR-2008-90, June 2008
  [paper] [slides]

PhD thesis
- Reasoning about assertions, obligations and causality: on a categorical semantics for a logics for pragmatics
  Queen Mary, University of London and University of Verona, 2008
  [pdf file]

Miscellaneous
- (with Gianluigi Bellin) The gentle murderer paradox from a pragmatic point of view
  Poster for Games in Logic, Language and Computation XV (GLLC 15), Amsterdam, February 2008
  [left] [right]
- Semantical aspects of a logic for pragmatics
  Abstract for Algebraic and Topological Methods in Non-classical Logics III (TANCL'07), Oxford, August 2007
  [pdf file]