The Library

Items where Subject is "B Philosophy. Psychology. Religion > BC Logic"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Author | No Grouping
Jump to: Report | Thesis or Dissertation
Number of items at this level: 6.

Report

Gent, Ian (1990) A sequent system for Lewis's counterfactual logic VC. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Marx, Maarten and Areces, Carlos (1997) Failure of interpolation in combined modal logics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rijke, Maarten de (1996) A note on graded modal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rijke, Maarten de and Kurtonina, Natasha (1996) Bisimulations for temporal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Thesis or Dissertation

Goudeli, Kyriaki, 1962- (1999) Logic and logogrif in German idealism : an investigation into the notion of experience in Kant, Fichte, Schelling. PhD thesis, University of Warwick.

Hovsepian, Felix (1992) A metalogical analysis of vagueness : an exploratory study into the geometry of logic. PhD thesis, University of Warwick.

This list was generated on Fri Mar 6 03:50:14 2015 GMT.