|
1.
|
MODAL LOGIC AND ITS APPLICATIONS
by Snyder,D. Paul. Material type: Book Description: xiv,335.Publisher: Van Nostrand Reinhold, New York c1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 SN92] (1).
|
|
2.
|
MODAL LOGIC AND ITS APPLICATIONS
by Snyder,D. Paul. Material type: Book Description: xiv,335.Publisher: Van Nostrand Reinhold, New York c1971Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 164 SN92] (1).
|
|
3.
|
PAPERS ON TIME AND TENSE
by Prior,Arthur N. Material type: Book Description: viii,166.Publisher: Clarendon Press, Oxford c1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164.08 P938P] (1).
|
|
4.
|
MEANING AND MODALITY
by Lewy, Casimir. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,159.Publisher: Cambridge University 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121 L59m] (1).
|
|
5.
|
A companion to modal logic
by Hughes, G.E | Cresswell, M.J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 203p.Publisher: London Methuen 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H874c] (2).
|
|
6.
|
INTERNATIONAL MATHEMATICS
by Shapiro, Stewart [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 230p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511 In8] (1).
|
|
7.
|
METAPHYSICS OF MODALITY
by Forbes, Graeme. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,257.Publisher: Oxford Clarendon Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 111.1 F743m] (1).
|
|
8.
|
Model logic
: AN INTRODUCTION
by Chellas, Brian F. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ii, 295p.Publisher: Cambridge University Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 C418m] (1).
|
|
9.
|
LANGUAGES OF POSSIBILITY
by Forbes, Graeme. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,181.Publisher: Oxford Basil Blackwell 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 F743L] (1).
|
|
10.
|
First Steps in Modal Logic
by Popkorn, Sally. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,314p.Publisher: Cambridge Cambridge Univ. Press 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P812f] (1).
|
|
11.
|
THE WORLDS OF POSSIBILITY
by Chihara,Charles S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,342.Publisher: Clarendon Press, Oxford 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 149.2 C435W] (1).
|
|
12.
|
MODALITY AND TENSE
by Fine,Kit. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Clarendon Press,Oxford 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 F493M] (1).
|
|
13.
|
Modal logic
by Blackburn, Patrick | Rijke, Maarten De | Venema, Yde. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 554p.Publisher: Cambridge Cambridge University Press 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.321 B562m] (1).
|
|
14.
|
MODAL LOGIC FOR PHILOSOPHERS
by Garson,James W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,455.Publisher: Cambridge Univ. Press,Cambridge 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G195M] (1).
|
|
15.
|
HANDBOOK OF MODAL LOGIC
by Blackburn,Patrick,Benthem,Johan Van | Wolter,Frank. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii,1231.Publisher: Elsevier,Amsterdam 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H191B] (1).
|
|
16.
|
INTERPOLATION AND DEFINABILITY
by Gabbay,D. M | Maksimova,L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,508.Publisher: Clarendon Press, Oxford 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G111I] (1).
|
|
17.
|
Advances in modal logic v.3
by Wolter, Frank, ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 415p.Publisher: New Jersey World Scientific 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 Ad95] (3).
|
|
18.
|
Many dimensional modal logics
: theory and applications
by Gabbay, D. M | Kurucz, A | Wolter, F | Zakharyaschev, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 747p.Publisher: Amsterdam Elsevier 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M319] (1).
|
|
19.
|
Logics of time and computation
by Goldblatt, Robert. Edition: 2nd rev. and expandedMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 180p.Publisher: Menlo Park Csli 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G564l2] (1).
|
|
20.
|
Aspects of aristotle`s logic of modalities
by Rijen, Jeroen Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 238p.Publisher: Dordrecht Kluwer Academic Publishers 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 R449a] (1).
|