Beata Konikowska

Beata Konikowska

Institute of Computer Science Polish Academy of Sciences - Warsaw / Poland
Engineering & Technology / Computer Science
AD Scientific Index ID: 4482463
Instytut Informatyki Polskiej Akademii Nauk
person_outline Beata Konikowska's MOST POPULAR ARTICLES
1-) A logic for reasoning about relative similarity B Konikowska Studia logica 58, 185-226, 1997 831997
2-) Cut-free ordinary sequent calculi for logics having generalized finite-valued semanticsA Avron, J Ben-Naim, B KonikowskaLogica Universalis 1, 41-70, 2007712007
3-) A Three-Valued Logic for Software Specification and Validation. Tertium tamen daturB Konikowska, A Tarlecki, A BlikleFundamenta informaticae 14 (4), 411-453, 1991701991
4-) Multi-valued calculi for logics based on non-determinismA Avron, B KonikowskaLogic Journal of IGPL 13 (4), 365-387, 2005692005
5-) Cut-free sequent calculi for C-systems with generalized finite-valued semanticsA Avron, B Konikowska, A ZamanskyJournal of Logic and Computation 23 (3), 517-540, 2013512013