Continuous Machines - Beata Konikowska (Inf. Control., 1973)

On Some Approximation Problems of Continuous Computation. - Beata Konikowska (MFCS, 1974)

A query language allowing conditions of relational type queries. - Beata Konikowska (Inf. Syst., 1985)

A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic. - Beata Konikowska (Stud Logica, 1990)

A three-valued logic for software specification and validation. - Beata Konikowska; Andrzej Tarlecki; Andrzej Blikle (Fundam. Informaticae, 1991)

Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus. - Beata Konikowska (J. Appl. Non Class. Logics, 1993)

McCarthy Algebras: A Model of McCarthy's Logical Calculus. - Beata Konikowska (Fundam. Informaticae, 1996)

A Logic for Reasoning about Relative Similarity. - Beata Konikowska (Stud Logica, 1997)

Relational semantics for arbitrary finite valued logics. - Beata Konikowska; Charles G. Morgan; Ewa Orlowska (RelMiCS, 1998)

Relative Similarity Logics are Decidable: Reduction to FO2 with Equality. - Stéphane Demri; Beata Konikowska (JELIA, 1998)

Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics. - Beata Konikowska (WADT, 1998)

A Relational Formalisation of Arbitrary Finite Valued Logics. - Beata Konikowska; Charles G. Morgan; Ewa Orlowska (Log. J. IGPL, 1998)

Reasoning with First Order Nondeterministic Specifications. - Beata Konikowska; Marcin Bialasik (Acta Informatica, 1999)

A multimodal logic for reasoning about complementarity. - Ivo Düntsch; Beata Konikowska (J. Appl. Non Class. Logics, 2000)

Decomposition Proof Systems for Gödel-Dummett Logics. - Arnon Avron; Beata Konikowska (Stud Logica, 2001)

Reducing Model Checking from Multi-valued { rm CTL}^{ ast} to { rm CTL}^{ ast}. - Beata Konikowska; Wojciech Penczek (CONCUR, 2002)

Rasiowa-Sikorski deduction systems in computer science applications. - Beata Konikowska (Theor. Comput. Sci., 2002)

On Designated Values in Multi-valued CTL* Model Checking. - Beata Konikowska; Wojciech Penczek (Fundam. Informaticae, 2004)

Multi-valued Calculi for Logics Based on Non-determinism. - Arnon Avron; Beata Konikowska (Log. J. IGPL, 2005)

A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty. - Beata Konikowska (J. Appl. Non Class. Logics, 2005)

Model checking for multivalued logic of knowledge and time. - Beata Konikowska; Wojciech Penczek (AAMAS, 2006)

A Multi-modal Logic for Disagreement and Exhaustiveness. - Ivo Düntsch; Beata Konikowska (Fundam. Informaticae, 2007)

Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics. - Arnon Avron; Jonathan Ben-Naim; Beata Konikowska (Logica Universalis, 2007)

Rough Sets and 3-Valued Logics. - Arnon Avron; Beata Konikowska (Stud Logica, 2008)

Processing Information from a Set of Sources. - Arnon Avron; Jonathan Ben-Naim; Beata Konikowska (Towards Mathematical Philosophy, 2009)

Proof Systems for Reasoning about Computation Errors. - Arnon Avron; Beata Konikowska (Stud Logica, 2009)

Logics of Reasonable Information Sources. - Arnon Avron; Jonathan Ben-Naim; Beata Konikowska (ISMVL, 2010)

Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. - Arnon Avron; Beata Konikowska; Anna Zamansky (LICS, 2012)

Finite-valued Logics for Information Processing. - Arnon Avron; Beata Konikowska (Fundam. Informaticae, 2012)

Cut-free sequent calculi for C-systems with generalized finite-valued semantics. - Arnon Avron; Beata Konikowska; Anna Zamansky (J. Log. Comput., 2013)

Three-Valued Logic for Reasoning about Covering-Based Rough Sets. - Beata Konikowska (Rough Sets and Intelligent Systems (1), 2013)

Efficient reasoning with inconsistent information using C-systems. - Arnon Avron; Beata Konikowska; Anna Zamansky (Inf. Sci., 2015)

Multi-Valued Verification of Strategic Ability. - Wojciech Jamroga; Beata Konikowska; Wojciech Penczek (AAMAS, 2016)

Foreword. - Ofer Arieli; Beata Konikowska; Alexander Rabinovich; Anna Zamansky (J. Log. Comput., 2016)

Reasoning about Covering-based Rough Sets Using Three Truth Values. - Beata Konikowska; Arnon Avron (FLAP, 2019)

Multi-valued Verification of Strategic Ability. - Wojciech Jamroga; Beata Konikowska; Damian Kurpiewski; Wojciech Penczek (Fundam. Informaticae, 2020)