| 2008 |
|---|
| 24 | EE | Arnon Avron,
Beata Konikowska:
Rough Sets and 3-Valued Logics.
Studia Logica 90(1): 69-92 (2008) |
| 2007 |
|---|
| 23 | EE | Ivo Düntsch,
Beata Konikowska:
A Multi-modal Logic for Disagreement and Exhaustiveness.
Fundam. Inform. 75(1-4): 215-238 (2007) |
| 2006 |
|---|
| 22 | EE | Beata Konikowska,
Wojciech Penczek:
Model checking for multivalued logic of knowledge and time.
AAMAS 2006: 169-176 |
| 2005 |
|---|
| 21 | | Beata Konikowska:
A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty.
Journal of Applied Non-Classical Logics 15(1): 25-44 (2005) |
| 20 | EE | Arnon Avron,
Beata Konikowska:
Multi-valued Calculi for Logics Based on Non-determinism.
Logic Journal of the IGPL 13(4): 365-387 (2005) |
| 2004 |
|---|
| 19 | EE | Beata Konikowska,
Wojciech Penczek:
On Designated Values in Multi-valued CTL* Model Checking.
Fundam. Inform. 60(1-4): 211-224 (2004) |
| 2002 |
|---|
| 18 | EE | Beata Konikowska,
Wojciech Penczek:
Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}.
CONCUR 2002: 226-239 |
| 17 | | Beata Konikowska:
Rasiowa-Sikorski deduction systems in computer science applications.
Theor. Comput. Sci. 286(2): 323-366 (2002) |
| 2001 |
|---|
| 16 | | Arnon Avron,
Beata Konikowska:
Decomposition Proof Systems for Gödel-Dummett Logics.
Studia Logica 69(2): 197-219 (2001) |
| 2000 |
|---|
| 15 | | Ivo Düntsch,
Beata Konikowska:
A multimodal logic for reasoning about complementarity.
Journal of Applied Non-Classical Logics 10(3-4): (2000) |
| 1999 |
|---|
| 14 | EE | Beata Konikowska,
Marcin Bialasik:
Reasoning with First Order Nondeterministic Specifications.
Acta Inf. 36(5): 375-403 (1999) |
| 1998 |
|---|
| 13 | EE | Stéphane Demri,
Beata Konikowska:
Relative Similarity Logics are Decidable: Reduction to FO2 with Equality.
JELIA 1998: 279-293 |
| 12 | | Beata Konikowska,
Charles G. Morgan,
Ewa Orlowska:
Relational semantics for arbitrary finite valued logics.
RelMiCS 1998: 138-143 |
| 11 | EE | Beata Konikowska:
Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics.
WADT 1998: 183-197 |
| 10 | EE | Beata Konikowska,
Charles G. Morgan,
Ewa Orlowska:
A Relational Formalisation of Arbitrary Finite Valued Logics.
Logic Journal of the IGPL 6(5): 755-774 (1998) |
| 1997 |
|---|
| 9 | | Beata Konikowska:
A Logic for Reasoning about Relative Similarity.
Studia Logica 58(1): 185-226 (1997) |
| 1996 |
|---|
| 8 | | Beata Konikowska:
McCarthy Algebras: A Model of McCarthy's Logical Calculus.
Fundam. Inform. 26(2): 167-203 (1996) |
| 1993 |
|---|
| 7 | | Beata Konikowska:
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.
Journal of Applied Non-Classical Logics 3(1): (1993) |
| 1991 |
|---|
| 6 | | Beata Konikowska:
Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus.
MFCS 1991: 277-286 |
| 5 | | Beata Konikowska,
Andrzej Tarlecki,
Andrzej Blikle:
A three-valued logic for software specification and validation.
Fundam. Inform. 14(4): 411-453 (1991) |
| 1988 |
|---|
| 4 | | Beata Konikowska,
Andrzej Tarlecki,
Andrzej Blikle:
A Three-Valued Logic for Software Specification and Validation.
VDM Europe 1988: 218-242 |
| 1985 |
|---|
| 3 | | Beata Konikowska:
A query language allowing conditions of relational type queries.
Inf. Syst. 10(1): 113-125 (1985) |
| 1974 |
|---|
| 2 | | Beata Konikowska:
On Some Approximation Problems of Continuous Computation.
MFCS 1974: 91-106 |
| 1973 |
|---|
| 1 | | Beata Konikowska:
Continuous Machines
Information and Control 22(4): 353-372 (1973) |
