팔로우
Beata Konikowska
Beata Konikowska
Institute of Computer Science, Polish Academy of Sciences
ipipan.waw.pl의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
A logic for reasoning about relative similarity
B Konikowska
Studia Logica 58 (1), 185-226, 1997
731997
A three-valued logic for software specification and validation
B Konikowska, A Tarlecki, A Blikle
International Symposium of VDM Europe, 218-242, 1988
651988
Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
A Avron, J Ben-Naim, B Konikowska
Logica Universalis 1 (1), 41-70, 2007
572007
Multi-valued calculi for logics based on non-determinism
A Avron, B Konikowska
Logic Journal of IGPL 13 (4), 365-387, 2005
552005
Decomposition proof systems for Gödel-Dummett logics
A Avron, B Konikowska
Studia Logica 69 (2), 197-219, 2001
462001
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
A Avron, B Konikowska, A Zamansky
Journal of Logic and Computation 23 (3), 517-540, 2013
412013
Rough sets and 3-valued logics
A Avron, B Konikowska
Studia Logica 90 (1), 69-92, 2008
392008
Rasiowa–Sikorski deduction systems in computer science applications
B Konikowska
Theoretical Computer Science 286 (2), 323-366, 2002
332002
Reducing Model Checking from Multi-valued CTL* to CTL*
B Konikowska, W Penczek
International Conference on Concurrency Theory, 226-239, 2002
312002
A logic for reasoning about similarity
B Konikowska
Incomplete information: rough set analysis, 462-491, 1998
271998
Modular construction of cut-free sequent calculi for paraconsistent logics
A Avron, B Konikowska, A Zamansky
2012 27th Annual IEEE Symposium on Logic in Computer Science, 85-94, 2012
252012
Model checking for multi-valued computation tree logics
B Konikowska, W Penczek
Beyond two: theory and applications of multiple-valued logic, 193-210, 2003
232003
Proof systems for reasoning about computation errors
A Avron, B Konikowska
Studia Logica 91 (2), 273-293, 2009
212009
A formal language for reasoning about indiscernibility
B Konikowska
Bulletin of the Polish Academy of Science: Mathematics 35, 239-249, 1987
211987
Model checking for multivalued logic of knowledge and time
B Konikowska, W Penczek
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
182006
Relative Similarity Logics are Decidable: Reduction to FO2 with Equality
S Demri, B Konikowska
European Workshop on Logics in Artificial Intelligence, 279-293, 1998
181998
Proof systems for logics based on non-deterministic multiple-valued structures
A Avron, B Konikowska
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk, 1-26, 2004
172004
Processing Information from a Set of Sources
A Avron, B Konikowska
17*
On Designated Values in Multi-valued CTL^* Model Checking
B Konikowka, W Penczek
Fundamenta Informaticae 60 (1-4), 211-224, 2004
162004
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
B Konikowska
Journal of Applied Non-Classical Logics 3 (1), 39-71, 1993
161993
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20