-
Proof theory for fuzzy logics. Applied Logic Series, vol. 36Bulletin of Symbolic Logic 16 (3): 415-419. 2010.
-
Dynamics of Practical Reasoning: A Position PaperIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 197-242. 1998.
-
An intuitionistic basis for non-monotonic reasoningIn Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning, Academic Press. 1988.
-
Dynamics of Practical Reasoning: A Position PaperIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 197-242. 1998.
-
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and LinguisticsSynthese 40 (2): 353-373. 1979.
-
Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1: Logical FoundationsStudia Logica 55 (3): 449-451. 1995.
-
Sampling logic and argumentationJournal of the Indian Council of Philosophical Research 28 (2): 233-255. 2010.
-
Extending the Curry {Howard {Tait interpretation to linear, relevant and other logicsJournal of Symbolic Logic 56 1129-40. 1992.