Beata Konikowska

FLAP, 2019

2016

Foreword.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Multi-Valued Verification of Strategic Ability.

[BibT_eX]

[DOI]

Wojciech Jamroga

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

2015

Efficient reasoning with inconsistent information using C-systems.

[BibT_eX]

[DOI]

Anna Zamansky

Inf. Sci., 2015

2013

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Anna Zamansky

J. Log. Comput., 2013

2012

Finite-valued Logics for Information Processing.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2012

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

[BibT_eX]

[DOI]

Anna Zamansky

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

2010

Logics of Reasonable Information Sources.

[BibT_eX]

[DOI]

Jonathan Ben-Naim

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

2009

Proof Systems for Reasoning about Computation Errors.

[BibT_eX]

[DOI]

Stud Logica, 2009

Processing Information from a Set of Sources.

[BibT_eX]

[DOI]

Jonathan Ben-Naim

Proceedings of the Towards Mathematical Philosophy, 2009

2008

Rough Sets and 3-Valued Logics.

[BibT_eX]

[DOI]

Stud Logica, 2008

2007

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

[BibT_eX]

[DOI]

Jonathan Ben-Naim

Logica Universalis, 2007

A Multi-modal Logic for Disagreement and Exhaustiveness.

[BibT_eX]

[DOI]

Ivo Düntsch

Fundam. Informaticae, 2007

2006

Model checking for multivalued logic of knowledge and time.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2005

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

[BibT_eX]

[DOI]

Log. J. IGPL, 2005

2004

On Designated Values in Multi-valued CTL<sup>*</sup> Model Checking.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

2002

Rasiowa-Sikorski deduction systems in computer science applications.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

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

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2002, 2002

2001

Decomposition Proof Systems for Gödel-Dummett Logics.

[BibT_eX]

[DOI]

Stud Logica, 2001

2000

A multimodal logic for reasoning about complementarity.

[BibT_eX]

[DOI]

Ivo Düntsch

J. Appl. Non Class. Logics, 2000

1999

Reasoning with First Order Nondeterministic Specifications.

[BibT_eX]

[DOI]

Marcin Bialasik

Acta Informatica, 1999

1998

A Relational Formalisation of Arbitrary Finite Valued Logics.

[BibT_eX]

[DOI]

Charles G. Morgan

Ewa Orlowska

Log. J. IGPL, 1998

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

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Relative Similarity Logics are Decidable: Reduction to FO<sup>2</sup> with Equality.

[BibT_eX]

[DOI]

Stéphane Demri

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Relational semantics for arbitrary finite valued logics.

[BibT_eX]

Charles G. Morgan

Ewa Orlowska

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

1997

A Logic for Reasoning about Relative Similarity.

[BibT_eX]

[DOI]

Stud Logica, 1997

1996

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

[BibT_eX]

[DOI]

Fundam. Informaticae, 1996

1993

Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1993

1991

A three-valued logic for software specification and validation.

[BibT_eX]

Andrzej Tarlecki

Andrzej Blikle

Fundam. Informaticae, 1991

1990

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

[BibT_eX]

[DOI]

Stud Logica, 1990

1985

A query language allowing conditions of relational type queries.

[BibT_eX]

[DOI]

Inf. Syst., 1985

1974

On Some Approximation Problems of Continuous Computation.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science, 1974

1973

Continuous Machines

[BibT_eX]

[DOI]