Beata Konikowska

Available identifiers

zbMath Open konikowska.beataMaRDI QIDQ229730

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5869604	2022-09-28	Paper
Multi-valued Verification of Strategic Ability	2021-05-20	Paper
Efficient reasoning with inconsistent information using C-systems	2017-05-16	Paper
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics	2017-05-16	Paper
Three-Valued Logic for Reasoning about Covering-Based Rough Sets	2015-04-02	Paper
Cut-free sequent calculi for C-systems with generalized finite-valued semantics	2013-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4918414	2013-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q2882458	2012-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q3086716	2011-03-30	Paper
A decompositional deduction system for a logic featuring inconsistency and uncertainty	2009-11-30	Paper
Proof systems for reasoning about computation errors	2009-05-08	Paper
Rough sets and 3-valued logics	2009-03-17	Paper
Processing Information from a Set of Sources	2009-02-05	Paper
Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics	2007-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q3425579	2007-02-26	Paper
Multi-valued Calculi for Logics Based on Non-determinism	2005-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4818743	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4450445	2004-02-15	Paper
A multimodal logic for reasoning about complementarity	2004-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4484490	2003-06-12	Paper
Rasiowa-Sikorski deduction systems in computer science applications.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4329272	2002-11-26	Paper
Decomposition proof systems for Gödel-Dummett logics	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4941933	2000-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4267169	2000-11-14	Paper
Reasoning with first order nondeterministic specifications	1999-11-01	Paper
A relational formalisation of arbitrary finite valued logics	1999-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q4246974	1999-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4250051	1999-09-29	Paper
A logic for reasoning about relative similarity	1997-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4880144	1996-10-08	Paper
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus	1994-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4035250	1993-05-18	Paper
A logic for reasoning about stochastic information	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3977997	1992-06-25	Paper
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3786005	1987-01-01	Paper
A query language allowing conditions of relational type in queries	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690267	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4745295	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3933810	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4160440	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4195987	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4160441	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4086707	1975-01-01	Paper
Continuous machines	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5685643	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4093039	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5180854	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5678428	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5685642	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3212658	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3212659	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5632558	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5632559	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5632560	1971-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Beata Konikowska