# Beata Konikowska

According to our database

Collaborative distances:

^{1}, Beata Konikowska authored at least 33 papers between 1973 and 2016.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2016

Foreword.

J. Log. Comput., 2016

Multi-Valued Verification of Strategic Ability.

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Efficient reasoning with inconsistent information using C-systems.

Inf. Sci., 2015

2013

Three-Valued Logic for Reasoning about Covering-Based Rough Sets.

Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013

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

J. Log. Comput., 2013

2012

Finite-valued Logics for Information Processing.

Fundam. Inform., 2012

Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics.

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2010

Logics of Reasonable Information Sources.

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009

Proof Systems for Reasoning about Computation Errors.

Studia Logica, 2009

2008

Rough Sets and 3-Valued Logics.

Studia Logica, 2008

2007

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

Logica Universalis, 2007

A Multi-modal Logic for Disagreement and Exhaustiveness.

Fundam. Inform., 2007

2006

Model checking for multivalued logic of knowledge and time.

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty.

Journal of Applied Non-Classical Logics, 2005

Multi-valued Calculi for Logics Based on Non-determinism.

Logic Journal of the IGPL, 2005

2004

On Designated Values in Multi-valued CTL

^{*}Model Checking.
Fundam. Inform., 2004

2002

Rasiowa-Sikorski deduction systems in computer science applications.

Theor. Comput. Sci., 2002

Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}.

Proceedings of the CONCUR 2002, 2002

2001

Decomposition Proof Systems for Gödel-Dummett Logics.

Studia Logica, 2001

2000

A multimodal logic for reasoning about complementarity.

Journal of Applied Non-Classical Logics, 2000

1999

Reasoning with First Order Nondeterministic Specifications.

Acta Inf., 1999

1998

A Relational Formalisation of Arbitrary Finite Valued Logics.

Logic Journal of the IGPL, 1998

Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics.

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Relative Similarity Logics are Decidable: Reduction to FO

^{2}with Equality.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Relational semantics for arbitrary finite valued logics.

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

A Logic for Reasoning about Relative Similarity.

Studia Logica, 1997

1996

McCarthy Algebras: A Model of McCarthy's Logical Calculus.

Fundam. Inform., 1996

1991

Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus.

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1990

A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.

Studia Logica, 1990

1988

A Three-Valued Logic for Software Specification and Validation.

Proceedings of the VDM '88, 1988

1985

A query language allowing conditions of relational type queries.

Inf. Syst., 1985

1974

On Some Approximation Problems of Continuous Computation.

Proceedings of the Mathematical Foundations of Computer Science, 1974

1973

Continuous Machines

Information and Control, May, 1973