Beata Konikowska - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2020

Multi-valued Verification of Strategic AbilityWojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek. FUIN, 175(1-4):207-251, 2020. [doi]

2019

Reasoning about Covering-based Rough Sets Using Three Truth ValuesBeata Konikowska, Arnon Avron. flap, 6(2):361-382, 2019. [doi]

2016

ForewordOfer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky. logcom, 26(1):1-6, 2016. [doi]

Multi-Valued Verification of Strategic AbilityWojciech Jamroga, Beata Konikowska, Wojciech Penczek. atal 2016: 1180-1189 [doi]

2015

Efficient reasoning with inconsistent information using C-systemsArnon Avron, Beata Konikowska, Anna Zamansky. isci, 296:219-236, 2015. [doi]

2013

Cut-free sequent calculi for C-systems with generalized finite-valued semanticsArnon Avron, Beata Konikowska, Anna Zamansky. logcom, 23(3):517-540, 2013. [doi]

Three-Valued Logic for Reasoning about Covering-Based Rough SetsBeata Konikowska. In Andrzej Skowron, Zbigniew Suraj, editors, Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam - Volume 1. Volume 42 of Intelligent Systems Reference Library, pages 439-461, Springer, 2013. [doi]

2012

Finite-valued Logics for Information ProcessingArnon Avron, Beata Konikowska. FUIN, 114(1):1-30, 2012. [doi]

Modular Construction of Cut-free Sequent Calculi for Paraconsistent LogicsArnon Avron, Beata Konikowska, Anna Zamansky. lics 2012: 85-94 [doi]

2010

Logics of Reasonable Information SourcesArnon Avron, Jonathan Ben-Naim, Beata Konikowska. ismvl 2010: 61-66 [doi]

2009

Processing Information from a Set of SourcesArnon Avron, Jonathan Ben-Naim, Beata Konikowska. In David Makinson, Jacek Malinowski, Heinrich Wansing, editors, Towards Mathematical Philosophy. Volume 28 of Trends in logic, pages 165-186, Springer, 2009. [doi]

Proof Systems for Reasoning about Computation ErrorsArnon Avron, Beata Konikowska. sLogica, 91(2):273-293, 2009. [doi]

2008

Rough Sets and 3-Valued LogicsArnon Avron, Beata Konikowska. sLogica, 90(1):69-92, 2008. [doi]

2007

Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued SemanticsArnon Avron, Jonathan Ben-Naim, Beata Konikowska. lu, 1(1):41-70, 2007. [doi]

A Multi-modal Logic for Disagreement and ExhaustivenessIvo Düntsch, Beata Konikowska. FUIN, 75(1-4):215-238, 2007. [doi]

2006

Model checking for multivalued logic of knowledge and timeBeata Konikowska, Wojciech Penczek. atal 2006: 169-176 [doi]

2005

Multi-valued Calculi for Logics Based on Non-determinismArnon Avron, Beata Konikowska. igpl, 13(4):365-387, 2005. [doi]

A Decompositional Deduction System for a Logic Featuring Inconsistency and UncertaintyBeata Konikowska. jancl, 15(1):25-44, 2005.

2004

On Designated Values in Multi-valued CTL:::*::: Model CheckingBeata Konikowska, Wojciech Penczek. FUIN, 60(1-4):211-224, 2004. [doi]

2002

Rasiowa-Sikorski deduction systems in computer science applicationsBeata Konikowska. TCS, 286(2):323-366, 2002.

Reducing Model Checking from Multi-valued {/rm CTL}^{/ast} to {/rm CTL}^{/ast}Beata Konikowska, Wojciech Penczek. concur 2002: 226-239 [doi]

2001

Decomposition Proof Systems for Gödel-Dummett LogicsArnon Avron, Beata Konikowska. sLogica, 69(2):197-219, 2001.

2000

A multimodal logic for reasoning about complementarityIvo Düntsch, Beata Konikowska. jancl, 10(3-4):273-301, 2000.

1999

Reasoning with First Order Nondeterministic SpecificationsBeata Konikowska, Marcin Bialasik. ACTA, 36(5):375-403, 1999. [doi]

1998

1997

A Logic for Reasoning about Relative SimilarityBeata Konikowska. sLogica, 58(1):185-226, 1997.

1996

McCarthy Algebras: A Model of McCarthy s Logical CalculusBeata Konikowska. FUIN, 26(2):167-203, 1996.

1993

Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculusBeata Konikowska. jancl, 3(1):39-71, 1993.

1991

Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate CalculusBeata Konikowska. mfcs 1991: 277-286

A three-valued logic for software specification and validationBeata Konikowska, Andrzej Tarlecki, Andrzej Blikle. FUIN, 14(4):411-453, 1991.

1990

A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logicBeata Konikowska. sLogica, 49(4):541-555, 1990. [doi]

1988

A Three-Valued Logic for Software Specification and ValidationBeata Konikowska, Andrzej Tarlecki, Andrzej Blikle. FM 1988: 218-242

1985

A query language allowing conditions of relational type queriesBeata Konikowska. is, 10(1):113-125, 1985.

1974

On Some Approximation Problems of Continuous ComputationBeata Konikowska. mfcs 1975: 91-106

1973

Continuous MachinesBeata Konikowska. iandc, 22(4):353-372, May 1973.

Sign in or sign up to see more results.

runs on WebDSL