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 121-140 of 221 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
1993	Modal translations in K and D	Došen, Kosta	Book parts	Mp. category will be shown later
1993	Mares, Edwin D. "Semantics for relevance logic with identity" - Studia Logica 51 (1992), no.1, 1-20.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1993	Giambrone, Steve "Real reduced models for relevant logics without WI." - Notre Dame J. Formal Logic 33 (1992), no.3, 442-449.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1992	La connexion syntactique	Došen, Kosta	Book parts	Mp. category will be shown later
1992	Rybakov, V. V. "Problems of substitution and admissibility in the modal system Grz and in intuitionitic propositional calculus" - Ann. pure appl. logic 50 (1990), no.1, 71-106.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1992	Brady, Ross T. "Gentzenization and decidability of some contractionless relevant logics" - J. Philos. Logic 20 (1991), no.1, 97-117.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1992	Modal logic as metalogic	Došen, Kosta	Article	Mp. category will be shown later
1992	The first axiomatization of relevant logic	Došen, Kosta	Article	Mp. category will be shown later
1992	Modal translations in substructural logics	Došen, Kosta	Article	Mp. category will be shown later
1992	Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic	Došen, Kosta	Article	22M22
1992	Mints, Grigorii "Normalization theorems for the intuitionistic system with choice principles" - Mathematical logic, 56-66, Plenum, New York, 1990.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1992	One more reference on self-reference	Došen, Kosta	Article	22M22
1992	A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS	Došen, Kosta	Article	Mp. category will be shown later
1991	Nogina, E. Yu. "Classes of arithmetic companions of modal provability logics" - Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1990, no.1, 31-33; translation in Moscow Univ. Math. Bull. 45 (1990), no.1, 31-33.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1991	Bezhanishvili, M. N. "Doxastic propositional system with one modal operator" - Intensional logics and the logical structure of theories, 174-181, "Metsniereba", Tbilisi, 1988"	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1991	Rudimentary Beth models conditionally rudimentary Kripke models for the Heyting propositional calculus	Došen, Kosta	Article	Mp. category will be shown later
1991	Abrusci, V.Michele "Sequent calculus for intuitionistic linear propositional logic" - Mathematical logic, 223-242, Plenum, New York, 1990.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1991	Sánchez-Mazas, Miguel "Essai de représentation per des nombres réels d'une analyse infinie des notions individuelles dans une infinité de mondes possibles" - Argumentation 3 (1989), no.1, 75-96.	Došen, Kostać	Contribution to periodical	Mp. category will be shown later
1991	Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus	Došen, Kosta	Article	Mp. category will be shown later
1991	Beklemishev, L. D. "Classification of propositional provability logics" - Izv. Akad. Nauk SSSR Ser.Mat. 53 (1989), no.5, 915-943, 1134	Došen, Kosta	Contribution to periodical	Mp. category will be shown later