Došen, Kosta

Type

Date issued

81 2000 - 2027
140 1900 - 1999

Mp-cat.

119 M20/M50
31 М30/М60
30 M22
28 M10/M40
6 M21
3 M21a
3 M23
1 M70

Date issued - custom

Year from:

Year to:

Results 161-180 of 221 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
1989	Sequent-systems and groupoid models. II	Došen, Kosta	Article	Mp. category will be shown later
1988	Second-order logic without variables	Došen, Kosta	Book parts	Mp. category will be shown later
1988	Furs, S.N., "Syllogistics of some theories" - Z. Math. Logik Grundlag. Math. 33 (1987), no.1, 31-42.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1988	Bellin, Gianluigi "A system of natural deduction for Gl" - Theoria 51 (1985), no.2, 89-114.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1988	Weston, S. Thomas, "Approximate truth" - J. Philos. Logic 16 (1987), no.2, 203-227.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1988	Sequent-system and groupoid models. I	Došen, Kosta	Article	Mp. category will be shown later
1988	Sequent-systems and groupoid models. I	Došen, Kosta	Article	Mp. category will be shown later
1988	Popovich, M.V.; Krymskii, S.B.; Ishmuratov, A.T.; Kintsan, V.T.; Vasil'ev, S.A.; Parakhonskii, B.A.; Prilyuk, Yu.D.; Vyatkina, N.B.; Shtern, I.B.; Domb, G.I.; Omel'yanchik, V.I.; Burgin, M.S.; Kuznetsov, V.I. "Proof and understanding" - "Naukova Dumka", Kiev, 1986. 312 pp. 3.00.r.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1988	Uniqueness, definability and interpolation	Došen, Kosta	Article	22M22
1988	Zalta, Edward N. "On the structural similarities between worlds and times" - Philos. Stud. 51 (1987), no.2, 213-239._	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Yablo, Stephen "Truth and reflection" - J. Philos. Logic 14 (1985), no.3, 297-349.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Seldin, Jonathan P. "On the proof theory of the intermediate logic MH" - J. Symbolic Logic 51 (1986), no.3, 626-647.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Orlowska, Eva "Logic of nondeterministic information"	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Fitting, Melvin "Notes on the mathematical aspects of Kripke's theory of truth"	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Rauszer, Cecylia "Formalizations of certain intermediate logics I" - Methods in math. logic (Caracas, 1983), 360-384. lecture notes in Math., 1130,Springer, Berlin, 1985.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Artëmov, S. N. "Nonarithmeticity of truth predicate logics of provability" - Dokl. Akad. Nauk SSSR 284 (1985), no.2, 270-271.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Vuillemin, Jules "Two examples of the application of axiomatization to philosophy: the analysis of movement by Zeno and the analysis of freedom by Diodorus Cronus" - Fund. Sci. 6 (1985), no.3, 209-219.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Fine, Kit "Logics containing K4. Part II" - J. Symbolic Logic 50 (1985), no.3, 619-651.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Negation and impossibility	Došen, Kosta	Conference Paper	Mp. category will be shown later
1987	Ballard, David "Independence in higher-order subclassical logic" - Notre Dame J. Formal Logic 26 (1985), no.4, 444-454.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later