Concepedia

Beata Konikowska

BK

17

Publications

455

Citations

12

H-Index

1991

Active since

Affiliations

Institute of Computer Science(Current)

Polish Academy of Sciences

Tel Aviv University

Beata Konikowska is an author at Institute of Computer Science specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationDescription LogicsNon-monotonic LogicSemanticsFormal Logic

Publications per year

1991–2020

17

Publications

17

Multi-valued Calculi for Logics Based on Non-determinism

Arnon Avron, Beata Konikowska · Logic Journal of IGPL · 2005 · 62 citations

A Logic for Reasoning about Relative Similarity

Beata Konikowska · Studia Logica · 1997 · 61 citations

Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics

Arnon Avron, Jonathan Ben-Naim, Beata Konikowska · Logica Universalis · 2006 · 55 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +7

Decomposition Proof Systems for Gödel-Dummett Logics

Arnon Avron, Beata Konikowska · Studia Logica · 2001 · 35 citations

Cut-free sequent calculi for C-systems with generalized finite-valued semantics

Arnon Avron, Beata Konikowska, Anna Zamansky · Journal of Logic and Computation · 2012 · 35 citations

Engineering, Finite-valued Semantics, Logica Universalis +17

Rows per page

1–5 of 17