Home
Michal Walicki's picture

Michal Walicki

Associate Professor
  • E-mailMichal.Walicki@uib.no
  • Phone+47 55 58 41 78
  • Visitor Address
    HIB - Thormøhlensgt. 55
  • Postal Address
    Postboks 7803
    5020 Bergen
Textbook
  • Walicki, Michal. 2016. Introduction to Mathematical Logic. World Scientific.
  • Walicki, Michal. 2012. Introduction to mathematical logic. World Scientific.
Academic article
  • Walicki, Michal. 2019. Kernels of digraphs with finitely many ends. Discrete Mathematics. 473-486.
  • Walicki, Michal. 2017. Resolving infinitary paradoxes. Journal of Symbolic Logic (JSL). 709-723.
  • Dyrkolbotn, Sjur Kristoffer; Walicki, Michal. 2014. Propositional discourse logic. Synthese. 863-899.
  • Dyrkolbotn, Sjur Kristoffer; Walicki, Michal. 2012. Kernels in digraphs which are not kernel-perfect. Discrete Mathematics. 2498-2505.
  • Walicki, Michal; Dyrkolbotn, Sjur Kristoffer. 2012. Finding kernels or solving SAT. Journal of Discrete Algorithms. 146-164.
  • Bezem, Marcus Aloysius; Grabmayer, Clemens; Walicki, Michal. 2012. Expressive power of digraph solvability. Annals of Pure and Applied Logic. 200-213.
  • Walicki, Michal; Ferreira, Diogo R. 2011. Sequence partitioning for process mining with unlabeled event logs. Data & Knowledge Engineering. 821-841.
  • Walicki, Michal; Ferreira, Diogo R. 2010. Mining Sequences for Patterns with Non-Repeating Symbols. IEEE Transactions on Evolutionary Computation. 8 pages.
  • Walicki, Michal. 2009. Reference, paradoxes and truth. Synthese. 195-226.
  • Walicki, Michal; Bezem, Marcus Aloysius; Szajnkenig, Wojciech. 2009. Developing bounded reasoning. Journal of Logic, Language and Information. 97-129.
  • Ågotnes, Thomas; Walicki, Michal. 2008. Complete axiomatisations of properties of finite sets. Logic Journal of the IGPL. 293-313.
  • Walicki, Michal. 2007. Modalities as interactions between the classical and the intuitionistic logics. Logic and Logical Philosophy. 193-215.
  • Bezem, Marcus Aloysius; Langholm, Tore; Walicki, Michal. 2007. Completeness and Decidability in Sequence Logic. Lecture Notes in Computer Science (LNCS). 123-137.
  • Walicki, Michal; Ågotnes, Thomas. 2006. Strongly complete axiomatizations of "knowing at most" in syntactic structures. Lecture Notes in Computer Science (LNCS). 57-76.
  • Lamo, Yngve; Walicki, Michal. 2006. Quantifier-free logic for nondeterministic theories. Theoretical Computer Science. 13 pages.
  • Ågotnes, Thomas; Walicki, Michal. 2006. Complete axiomatizations of finite syntactic epistemic states. Lecture Notes in Computer Science (LNCS). 33-50.
  • Walicki, Michal. 2005. Bireachability and Final Multialgebras. Lecture Notes in Computer Science (LNCS). 408-423.
  • Lamo, Y; Walicki, Michal. 2004. Combining specification formalisms in the "general logic" of multialgebras. Lecture Notes in Computer Science (LNCS). 328-342.
  • Lamo, Yngve; Walicki, Michal. 2004. Combining specification formalisms in the "general logic" of multialgebras. Lecture Notes in Computer Science (LNCS). 328-342.
  • Lamo, Yngve; Walicki, Michal. 2003. Quantifier-free logic for multialgebraic theories. Electronical Notes in Theoretical Computer Science. 1-13.
  • Lamo, Yngve; Walicki, Michal. 2003. Combining Specification Formalisms in the General Logic of Multialgebras. Lecture Notes in Computer Science (LNCS). 328-342.
  • Lamo, Yngve; Walicki, Michal. 2002. Composotion and refinement of specifications of parameterized data types. Electronical Notes in Theoretical Computer Science. 1-18.
  • Lamo, Yngve; Walicki, Michal. 2001. Specification of parameterized programs - persistency revisited. Nordic Journal of Computing. 298-323.
  • Walicki, Michal; Haveraaen, Magne; Meldal, Sigurd. 2001. Computation Algebras. Mathematical Structures in Computer Science. 597-636.
  • Lamo, Yngve; Walicki, Michal. 2000. Modeling partiality by nondeterminism. Norsk Informatikk Konferanse, Bodø. ?.
  • Walicki, Michal; Meldal, Sigurd. 1997. Singular and Plural Nondeterministic Parameters. SIAM journal on computing (Print).
  • Walicki, Michal; Meldal, Sigurd. 1997. Algebraic Approaches to Nondeterminism: an Overview. ACM Computing Surveys.
  • Walicki, Michal; Meldal, Sigurd. 1996. Singular and Plural Nondeterministic Parameters. SIAM journal on computing (Print).
  • Walicki, Michal; Broy, Manfred. 1995. Structured specifications and Implementation of Nondeterministic Data Types. Nordic Journal of Computing. 358-395.
  • Walicki, Michal; Meldal, S. 1995. Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. ACM Transactions on Programming Languages and Systems. 366-393.
Report
  • Walicki, Michal Anton S; Bezem, Marcus Aloysius; Grabmayer, Clemens. 2010. Expressive power of digraph solvability. .
  • Walicki, Michal; Wolter, Uwe Egbert. 2006. Universal Multialgebra II. .
  • Walicki, Michal. 2006. Universal Multialgebra. .
  • Walicki, Michal. 2006. Modalities as Interactions between Classical and Intuitionistic Logics. .
  • Walicki, Michal; Wolter, Uwe; Stecher, Jack. 2006. A category for studying the standardization of reporting languages. .
  • Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas. 2006. A Category for Studying the Standardization of Reporting Languages. 314. 314. .
  • Lamo, Yngve; Walicki, Michal. 2002. Quantifier-free logic for multialgebraic theories. 228. 228. .
  • Ågotnes, Thomas; Walicki, Michal. 2002. Only Explicitly Knowing. 224. 224. .
  • Lamo, Yngve; Walicki, Michal. 2002. Logic with equality for multialgebras - an application of Rasiowa-Sikorski technique. 227. 227. .
  • Lamo, Yngve; Walicki, Michal. 2000. The institution of multialgebras. .
  • Lamo, Yngve; Walicki, Michal. 2000. The institution of multialgebras. .
  • Lamo, Yngve; Walicki, Michal. 1999. Modeling partiality by nondeterminism - from abstract specifications to flexible error handling. .
  • Lamo, Yngve; Walicki, Michal. 1999. Modeling partiality by nondeterminism - from abstract specifications to flexible error handling. .
  • Pliuskevicius, Regimantas; Walicki, Michal; Sakaluskaite, Jurate; Pliuskeviciene, Aida. 1999. A logic of set-valued functions: Cut-elimination and other improvements. .
  • Walicki, Michal; Bialasik, Marcin. 1997. Ralations, Multialgebras and Homomorphisms. 838. 838. .
  • Walicki, Michal; Haveraaen, Magne; Meldal, Sigurd. 1996. Communication Algebras. .
  • Meldal, S.; Walicki, Michal. 1995. Nondeterministic Operators in Algebraic Frameworks. CSL-TR-. CSL-TR-. .
  • Meldal, S.; Walicki, Michal. 1995. Algebraic Approaches to Nondeterminism - an Overview. 104. 104. .
  • Walicki, Michal. 1994. Singular and Plural Nondeterministic Parameters. 96. 96. .
  • Krauciukas, V.; Walicki, Michal. 1994. Reasoning and Rewriting with Set-Relations l: Ground Completeness. 92. 92. .
  • Walicki, Michal. 1993. Calculi for algebraic specification of nondeterminism; three completeness results. 75. 75. .
  • Walicki, Michal. 1992. Calculii for non-deterministic specifications: Three completeness results. .
  • Walicki, Michal; Skakkebæk, J. U.; Sankar, S. 1991. The Stanford Ada Style Checker. .
Popular scientific lecture
  • Walicki, Michal; Meldal, S. 1995. Refinement of Nondeterministic Data Types.
  • Kriauciukas, V.; Walicki, Michal. 1995. Reasoning and Rewriting with Set-Relations II: The Non-Ground Case Completeness.
  • Walicki, Michal; Haveraaen, Magne; Meldal, S. 1995. Communication Algebras.
  • Walicki, Michal. 1994. Multialgebras and Logics for Nondeterminism.
  • Walicki, Michal. 1994. Implementation of Nondeterministic Data Types.
Academic lecture
  • Walicki, Michal; Bezem, Marcus Aloysius; Langholm, Tore. 2007. Sekvenslogikk.
  • Bezem, Marcus Aloysius; Langholm, Tore; Walicki, Michal. 2007. Completeness and Decidability in Sequence Logic.
  • Bezem, Marcus Aloysius; Walicki, Michal. 2006. Decidability and Completeness of Sequence Logic.
  • Walicki, Michal; Bezem, Marc. 2006. A strongly complete logic of dense time intervals.
  • Ågotnes, Thomas; Walicki, Michal. 2005. Strongly Complete Axiomatizations of ``Knowing At Most`` in Standard Syntactic Assignments.
  • Ågotnes, Thomas; Walicki, Michal. 2005. Complete axiomatizations of finite syntactic epistemic states.
  • Walicki, Michal. 2005. Bireachability and Final Multialgebras.
  • Ågotnes, Thomas; Walicki, Michal. 2004. Syntactic Knowledge: A Logic of Reasoning, Communication and Cooperation.
  • Ågotnes, Thomas; Walicki, Michal. 2004. A Note on Syntactic Characterization of Incomplete Information in {ATEL}.
  • Lamo, Yngve; Walicki, Michal. 2003. Quantifier-free logic for multialgebraic theories.
  • Lamo, Yngve; Walicki, Michal. 2003. Quantifier-free logic for multialgebraic theories.
  • Ågotnes, Thomas; Walicki, Michal. 2003. A logic for reasoning about agents with finite explicit knowledge.
  • Lamo, Yngve; Walicki, Michal. 2002. The general logic of multialgebras.
  • Lamo, Yngve; Walicki, Michal. 2002. Composition and refinement of specifications of parameterised data types.
  • Walicki, Michal; Ågotnes, Thomas. 2002. A Logic for Reasoning about Explicit Knowledge in Finite Agents.
  • Lamo, Yngve; Walicki, Michal. 2001. Specification of parameterized data types.
  • Lamo, Yngve; Walicki, Michal. 2001. Specification and Refinement of Parameterized Data Types.
  • Walicki, Michal; Meldal, Sigurd. 2001. Nondeterminism vs. Underspecification.
  • Lamo, Yngve; Walicki, Michal. 2001. Modeling partiality by nondeterminism.
  • Lamo, Yngve; Walicki, Michal. 2001. Logic with equalities for multialgebras - an application of Rasiowa-Sikorski technique.
  • Lamo, Yngve; Walicki, Michal. 2001. Logic with Equality for Multialgebras (an application of Rasiowa-Sikorski technique),.
  • Walicki, Michal; Meldal, Sigurd; Hodzic, Adis. 2001. Compositional homomorphisms of relational structures (modeled as multialgebras).
  • Walicki, Michal; Bialasik, Marcin. 1997. Some Categories of Relations.
  • Walicki, Michal. 1997. Categories of Relational Structures.
  • Kriauciukas, V.; Walicki, Michal; Meldal, S. 1995. Nondeterministic Algebraic Specifications in Relational Syntax.
  • Walicki, Michal; Meldal, S. 1995. Generated models and the w-rule: the nondeterministic case.
  • Kriauciukas, V.; Walicki, Michal. 1994. Reasoning and Rewriting with Set-Relations I: Ground Completeness.
  • Meldal, S.; Pliuskeviciene, A.; Pliuskevicius, R.; Walicki, Michal. 1994. On Specialization of derivations in axiomatic equality theories.
  • Meldal, S.; Walicki, Michal. 1994. Nondeterministic operators in a standard framework.
  • Walicki, Michal; Meldal, S. 1994. Multialgebras, Power Algebras and Complete Calculi of identities and inclusions.
  • Walicki, Michal; Meldal, S. 1994. Multialgebras, Power Algebras and Complete Calculi of identities and inclusions.
  • Walicki, Michal; Meldal, S. 1993. Sets and nondeteerminism.
  • Meldal, S.; Walicki, Michal. 1993. Initially + nondeterminism implies junk.
  • Walicki, Michal; Meldal, S. 1992. Multialgebras and computations: two algebraic semantics of nondeterminism.
  • Walicki, Michal; Meldal, S. 1992. A deterministic semantics of nondeterminism.
  • Walicki, Michal; Meldal, S. 1991. Towards an Equational Theory of Nondeterminism.
  • Meldal, S.; Walicki, Michal. 1991. A function oriented view of nondeterminism.
Compendium
  • Walicki, Michal. 1995. Introduction to Logic - Lecture Notes.
Masters thesis
  • Badeno, Adugna. 2004. Generic proof checker.
Doctoral dissertation
  • Ågotnes, Thomas. 2004. A Logic of Finite Syntactic Epistemic States.
  • Walicki, Michal. 1993. Algebraic specifications of nondeterminism. Avhandling, Dr.Scient.
Academic chapter/article/Conference paper
  • Walicki, Michal; Wolter, Uwe Egbert. 2009. Universal Multialgebra. 67 pages.
  • Walicki, Michal; Svanberg, Paul Simon. 2009. Finite, Reasoning and Interacting Agents. 6 pages.
  • Walicki, Michal; Stecher, Jack; Wolter, Uwe Egbert. 2006. The choice of standards for a reporting language.
  • Walicki, Michal; Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas. 2006. The Choice of Standards for a Reporting Language. 1 pages.
  • Walicki, Michal; Bezem, Marc; Szajnkenig, Wojciech. 2006. A strongly complete logic of dense time intervals.
  • Walicki, Michal. 2006. A brief history of symbolic logic.
Poster
  • Walicki, Michal; Ågotnes, Thomas. 2005. A Logic of Syntactic Knowledge: Reasoning, Communication and Cooperation.

More information in national current research information system (CRIStin)