The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Beata Konikowska: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Beata Konikowska, Charles G. Morgan, Ewa Orlowska
    Relational semantics for arbitrary finite valued logics. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:138-143 [Conf]
  2. Beata Konikowska, Wojciech Penczek
    Model checking for multivalued logic of knowledge and time. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:169-176 [Conf]
  3. Beata Konikowska, Wojciech Penczek
    Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:226-239 [Conf]
  4. Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
    A Three-Valued Logic for Software Specification and Validation. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:218-242 [Conf]
  5. Stéphane Demri, Beata Konikowska
    Relative Similarity Logics are Decidable: Reduction to FO2 with Equality. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:279-293 [Conf]
  6. Beata Konikowska
    On Some Approximation Problems of Continuous Computation. [Citation Graph (0, 0)][DBLP]
    MFCS, 1974, pp:91-106 [Conf]
  7. Beata Konikowska
    Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:277-286 [Conf]
  8. Beata Konikowska
    Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:183-197 [Conf]
  9. Beata Konikowska, Marcin Bialasik
    Reasoning with First Order Nondeterministic Specifications. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1999, v:36, n:5, pp:375-403 [Journal]
  10. Beata Konikowska, Wojciech Penczek
    On Designated Values in Multi-valued CTL* Model Checking. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:211-224 [Journal]
  11. Beata Konikowska
    McCarthy Algebras: A Model of McCarthy's Logical Calculus. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:26, n:2, pp:167-203 [Journal]
  12. Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
    A three-valued logic for software specification and validation. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1991, v:14, n:4, pp:411-453 [Journal]
  13. Ivo Düntsch, Beata Konikowska
    A Multi-modal Logic for Disagreement and Exhaustiveness. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:75, n:1-4, pp:215-238 [Journal]
  14. Beata Konikowska
    Continuous Machines [Citation Graph (0, 0)][DBLP]
    Information and Control, 1973, v:22, n:4, pp:353-372 [Journal]
  15. Arnon Avron, Beata Konikowska
    Multi-valued Calculi for Logics Based on Non-determinism. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:4, pp:365-387 [Journal]
  16. Beata Konikowska, Charles G. Morgan, Ewa Orlowska
    A Relational Formalisation of Arbitrary Finite Valued Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:5, pp:755-774 [Journal]
  17. Beata Konikowska
    A query language allowing conditions of relational type queries. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 1985, v:10, n:1, pp:113-125 [Journal]
  18. Beata Konikowska
    A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2005, v:15, n:1, pp:25-44 [Journal]
  19. Beata Konikowska
    Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1993, v:3, n:1, pp:- [Journal]
  20. Ivo Düntsch, Beata Konikowska
    A multimodal logic for reasoning about complementarity. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
  21. Arnon Avron, Beata Konikowska
    Decomposition Proof Systems for Gödel-Dummett Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:69, n:2, pp:197-219 [Journal]
  22. Beata Konikowska
    A Logic for Reasoning about Relative Similarity. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:58, n:1, pp:185-226 [Journal]
  23. Beata Konikowska
    Rasiowa-Sikorski deduction systems in computer science applications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:2, pp:323-366 [Journal]

  24. Logics of Reasonable Information Sources. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002