28
Publications
1.1K
Citations
19
H-Index
1984
Active since
Kosta Došen is an author at Arheološki Institut specializing in automated reasoning, engineering, and semantics.
Top concepts
Automated ReasoningSemanticsEngineeringFormal MethodsLinguisticsLanguageRepresentation TheorySyntaxComputer ScienceFormal Verification
Publications per year
1984–2006
28
28
Models for normal intuitionistic modal logics
Milan Božić, Kosta Došen · Studia Logica · 1984 · 119 citations
Non-classical Logic, Automated Reasoning, Constructive Logic +2
Sequent-systems and groupoid models. II
Kosta Došen · Studia Logica · 1989 · 111 citations
Logical constants as punctuation marks.
Kosta Došen · Notre Dame Journal of Formal Logic · 1989 · 87 citations · Full text
A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
Kosta Došen · Mathematical logic quarterly · 1992 · 82 citations
Sequent-systems and groupoid models. I
Kosta Došen · Studia Logica · 1988 · 79 citations
Rows per page
1–5 of 28