Beata Konikowska

Publication Activity (10 Years)

Years Active: 1973-2023
Publications (10 Years): 6

Top Topics

Top Venues

J. Log. Comput.

Fundam. Informaticae

Publications

Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
Multi-Valued Verification of Strategic Ability. CoRR (2023)
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
Multi-valued Verification of Strategic Ability. Fundam. Informaticae 175 (1-4) (2020)
Beata Konikowska, Arnon Avron
Reasoning about Covering-based Rough Sets Using Three Truth Values. FLAP 6 (2) (2019)
Wojciech Jamroga, Beata Konikowska, Wojciech Penczek
Multi-Valued Verification of Strategic Ability. AAMAS (2016)
Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky
Foreword. J. Log. Comput. 26 (1) (2016)
Arnon Avron, Beata Konikowska, Anna Zamansky
Efficient reasoning with inconsistent information using C-systems. Inf. Sci. 296 (2015)
Arnon Avron, Beata Konikowska, Anna Zamansky
Cut-free sequent calculi for C-systems with generalized finite-valued semantics. J. Log. Comput. 23 (3) (2013)
Arnon Avron, Beata Konikowska
Finite-valued Logics for Information Processing. Fundam. Informaticae 114 (1) (2012)
Arnon Avron, Beata Konikowska, Anna Zamansky
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. LICS (2012)
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
Logics of Reasonable Information Sources. ISMVL (2010)
Arnon Avron, Beata Konikowska
Proof Systems for Reasoning about Computation Errors. Stud Logica 91 (2) (2009)
Arnon Avron, Beata Konikowska
Rough Sets and 3-Valued Logics. Stud Logica 90 (1) (2008)
Ivo Düntsch, Beata Konikowska
A Multi-modal Logic for Disagreement and Exhaustiveness. Fundam. Informaticae 75 (1-4) (2007)
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics. Logica Universalis 1 (1) (2007)
Beata Konikowska, Wojciech Penczek
Model checking for multivalued logic of knowledge and time. AAMAS (2006)
Arnon Avron, Beata Konikowska
Multi-valued Calculi for Logics Based on Non-determinism. Log. J. IGPL 13 (4) (2005)
Beata Konikowska
A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty. J. Appl. Non Class. Logics 15 (1) (2005)
Beata Konikowska, Wojciech Penczek
Model Checking. Fundam. Informaticae 60 (1-4) (2004)
Beata Konikowska
Rasiowa-Sikorski deduction systems in computer science applications. Theor. Comput. Sci. 286 (2) (2002)
Beata Konikowska, Wojciech Penczek
Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}. CONCUR (2002)
Arnon Avron, Beata Konikowska
Decomposition Proof Systems for Gödel-Dummett Logics. Stud Logica 69 (2) (2001)
Ivo Düntsch, Beata Konikowska
A multimodal logic for reasoning about complementarity. J. Appl. Non Class. Logics 10 (3-4) (2000)
Beata Konikowska, Marcin Bialasik
Reasoning with First Order Nondeterministic Specifications. Acta Informatica 36 (5) (1999)
Beata Konikowska, Charles G. Morgan, Ewa Orlowska
Relational semantics for arbitrary finite valued logics. RelMiCS (1998)
Stéphane Demri, Beata Konikowska
with Equality. JELIA (1998)
Beata Konikowska, Charles G. Morgan, Ewa Orlowska
A Relational Formalisation of Arbitrary Finite Valued Logics. Log. J. IGPL 6 (5) (1998)
Beata Konikowska
Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics. WADT (1998)
Beata Konikowska
A Logic for Reasoning about Relative Similarity. Stud Logica 58 (1) (1997)
Beata Konikowska
McCarthy Algebras: A Model of McCarthy's Logical Calculus. Fundam. Informaticae 26 (2) (1996)
Beata Konikowska
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus. J. Appl. Non Class. Logics 3 (1) (1993)
Beata Konikowska
Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus. MFCS (1991)
Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
A three-valued logic for software specification and validation. Fundam. Informaticae 14 (4) (1991)
Beata Konikowska
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic. Stud Logica 49 (4) (1990)
Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
A Three-Valued Logic for Software Specification and Validation. VDM Europe (1988)
Beata Konikowska
A query language allowing conditions of relational type queries. Inf. Syst. 10 (1) (1985)
Beata Konikowska
On Some Approximation Problems of Continuous Computation. MFCS (1974)
Beata Konikowska
Continuous Machines Inf. Control. 22 (4) (1973)