Refine your search

• Availability
  • Limit to currently available items.

• Authors

  • Forbes, Graeme (2)
  • Gabbay, D. M (1)
  • Maksimova,L. (1)
  • Shapiro, Stewart [ed.] (1)
  • Snyder,D. Paul (2)
  • Show more
• Holding libraries
  • PK Kelkar Library, IIT Kanpur (24)
• Home libraries
  • PK Kelkar Library, IIT Kanpur (24)

• Item types

  • Books (24)
  • Text Books (5)

• Series

  • Aristotelian Society Series (1)
  • Cambridge Tracts In Theoretical Computer Science / Edited By S. Abramsky (1)
  • Cambridge tracys in thermal computer series / edited by S. Abramsky (1)
  • Clarendon Library Of Logic And Philosophy (1)
  • Csli Lecture Notes (1)
  • Oxford Logic Guides (1)
  • Studies In Logic And Practical Reasoning (1)
  • Studies In Logic And The Foundations Of Mathematics (1)
  • Studies in logic and the foundations of mathematics / edited by P. Suppes (1)
  • Synthese Historical Library / Edited By N. Kretzmann (1)

• Topics

  • Computer science (1)
  • Logic, Symbolic And Mathematical (2)
  • Modality (Logic) (15)
  • Modality (Logic) -- Addresses, Essays, Lectures (2)
  • Modality(Logic) (3)
  • Show more

• Titles

  • Aristotle -- Contributions in logic of modalities (1)