1. A Short introduction to modal logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
30
2. A chance for possibility : an investigation into the grounds of modality
پدیدآورنده : Steinberg, Alexander, 9791-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(,، Possibility,، Realism,، Supervenience )Philosophy(
رده :
BC
199
.
M6S73
3. A companion to modal logic /
پدیدآورنده : G.E. Hughes, M.J. Cresswell.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Modality (Logic)
رده :
BC199
.
M6
H795
1984
4. A general interpreted modal calculus
پدیدآورنده : Bressan, Aldo
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Description )Philosophy(,، Evidence
رده :
BC
199
.
M6
.
B73
1972
5. A new introduction to modal logic
پدیدآورنده : G. E. Hughes, M. J. Cresswell
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Logic - Modality
رده :
BC
,
199
,.
H8
,
1996
6. A new introduction to modal logic
پدیدآورنده : Hughes, George Edward, 8191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6H8
1996
7. Actuality, Possibility, and Worlds
پدیدآورنده : \ Alexander Robert Pruss
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Modality (Logic),منطق موجهات,a05,a05,Modality (Logic) -- History. ,Possibility -- Psychological aspects.,منطق موجهات -- تاریخ,امکان -- جنبه های روانشناسی
رده :
BC
199
.
P7A25
2011
E-Book
,
8. Actuality, possibility and worlds /
پدیدآورنده : Alexander Robert Pruss
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Modality (Logic),Possibility
رده :
BD331
.
P78
2011
9. Advances in modal logic
پدیدآورنده : / edited by Marcus Kracht ... [et al.]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Modality (Logic)- Congresses
رده :
BC199
.
M6
,
A38
1998
10. Advances in modal logic
پدیدآورنده : editors Frank Wolter... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Modality )Logic(
رده :
BC
199
.
M6A39
11. Advances in modal logic
پدیدآورنده : / edited by Marcus Kracht ... [et al.]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Modality (Logic)- Congresses
رده :
BC199
.
M6
,
A38
1998
12. An introduction to modal logic
پدیدآورنده : Hughes, G. E.)George Edward(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6
H8
13. An introduction to modal logic
پدیدآورنده : Hughes, George Edward, 8191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6H8
14. Aristotle's Modal Logic
پدیدآورنده : \ Richard Patterson.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Modality (Logic),Metaphysics,(Essence (Philosophy,منطق موجهات,مابعدالطبیعه,ماهیت,a01,a02,a03,a01,a02,a03,Entailment (Logic)
رده :
B
437
.
P32A7
1995
E-Book
,
15. Aristotle's modal syllogistic /
پدیدآورنده : Marko Malink
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Aristotle,Aristotle., Prior analytics,Logic, Ancient,Modality (Logic),Predicate (Logic),Syllogism
رده :
B491
.
L8
M35
2013
16. Aristotle's modal syllogistic /
پدیدآورنده : Marko Malink
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Aristotle,Aristotle., Prior analytics,Logic, Ancient,Modality (Logic),Predicate (Logic),Syllogism
رده :
B491
.
L8
M35
2013
17. Arrow logic and multi-modal logic
پدیدآورنده : edited by Maarten Marx, Laszlo Polos, and Michael Masuch
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic,، Modality )Logic(
رده :
BC
71
.
A77
18. Aspects of Aristotle's logic modalities
پدیدآورنده : Rijen, Jeroen Van, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Aristotle, 383 B.C. - 123 B.C.,، Modality )Logic(
رده :
B
491
.
L8R55
1989
19. Aspects of aristotle's logic of modalities
پدیدآورنده : / Jeroen Van Rijen
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Aristotle - Contributions in logic of modalities,Modality (Logic)
رده :
B491
.
L8R55
1989
20. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
