Academic article

• Walicki, Michal (2025). Poison Game for semikernels of arbitrary digraphs. (external link)
• Walicki, Michal (2024). Paradoxes versus Contradictions in Logic of Sentential Operators. (external link)
• Walicki, Michal (2024). The Structure of Paradoxes in a Logic of Sentential Operators. (external link)
• Walicki, Michal; Dyrkolbotn, Sjur Kristoffer (2022). Paraconsistent resolution. (external link)
• Walicki, Michal (2022). Extensions in graph normal form. (external link)
• Walicki, Michal (2019). Kernels of digraphs with finitely many ends. (external link)
• Walicki, Michal (2017). Resolving infinitary paradoxes. (external link)
• Dyrkolbotn, Sjur Kristoffer; Walicki, Michal (2014). Propositional discourse logic. (external link)
• Bezem, Marcus Aloysius; Grabmayer, Clemens; Walicki, Michal (2012). Expressive power of digraph solvability. (external link)
• Dyrkolbotn, Sjur Kristoffer; Walicki, Michal (2012). Kernels in digraphs which are not kernel-perfect. (external link)
• Walicki, Michal; Dyrkolbotn, Sjur Kristoffer (2012). Finding kernels or solving SAT. (external link)
• Walicki, Michal; Ferreira, Diogo R. (2011). Sequence partitioning for process mining with unlabeled event logs. (external link)
• Walicki, Michal; Ferreira, Diogo R. (2010). Mining Sequences for Patterns with Non-Repeating Symbols. (external link)
• Walicki, Michal; Bezem, Marcus Aloysius; Szajnkenig, Wojciech (2009). Developing bounded reasoning. (external link)
• Walicki, Michal (2009). Reference, paradoxes and truth. (external link)
• Ågotnes, Thomas; Walicki, Michal (2008). Complete axiomatisations of properties of finite sets. (external link)
• Bezem, Marcus Aloysius; Langholm, Tore; Walicki, Michal (2007). Completeness and Decidability in Sequence Logic. (external link)
• Walicki, Michal (2007). Modalities as interactions between the classical and the intuitionistic logics. (external link)
• Walicki, Michal; Ågotnes, Thomas (2006). Strongly complete axiomatizations of "knowing at most" in syntactic structures. (external link)
• Ågotnes, Thomas; Walicki, Michal (2006). Complete axiomatizations of finite syntactic epistemic states. (external link)
• Lamo, Yngve; Walicki, Michal (2006). Quantifier-free logic for nondeterministic theories. (external link)
• Walicki, Michal (2005). Bireachability and Final Multialgebras. (external link)
• Lamo, Yngve; Walicki, Michal (2004). Combining specification formalisms in the "general logic" of multialgebras. (external link)
• Lamo, Y; Walicki, Michal (2004). Combining specification formalisms in the "general logic" of multialgebras. (external link)
• Lamo, Yngve; Walicki, Michal (2003). Quantifier-free logic for multialgebraic theories. (external link)
• Lamo, Yngve; Walicki, Michal (2003). Combining Specification Formalisms in the General Logic of Multialgebras. (external link)
• Lamo, Yngve; Walicki, Michal (2002). Composotion and refinement of specifications of parameterized data types. (external link)
• Walicki, Michal; Haveraaen, Magne; Meldal, Sigurd (2001). Computation Algebras. (external link)
• Lamo, Yngve; Walicki, Michal (2001). Specification of parameterized programs - persistency revisited. (external link)
• Lamo, Yngve; Walicki, Michal (2000). Modeling partiality by nondeterminism. (external link)
• Walicki, Michal; Meldal, Sigurd (1997). Algebraic Approaches to Nondeterminism: an Overview. (external link)
• Walicki, Michal; Meldal, Sigurd (1997). Singular and Plural Nondeterministic Parameters. (external link)
• Walicki, Michal; Meldal, Sigurd (1996). Singular and Plural Nondeterministic Parameters. (external link)
• Walicki, Michal; Meldal, S. (1995). Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. (external link)
• Walicki, Michal; Broy, Manfred (1995). Structured specifications and Implementation of Nondeterministic Data Types. (external link)

Textbook

• Walicki, Michal (2016). Introduction to Mathematical Logic. (external link)
• Walicki, Michal (2012). Introduction to mathematical logic. (external link)

Report

• Walicki, Michal Anton S; Bezem, Marcus Aloysius; Grabmayer, Clemens (2010). Expressive power of digraph solvability. (external link)
• Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas (2006). A Category for Studying the Standardization of Reporting Languages. (external link)
• Walicki, Michal (2006). Modalities as Interactions between Classical and Intuitionistic Logics. (external link)
• Walicki, Michal; Wolter, Uwe Egbert (2006). Universal Multialgebra II. (external link)
• Walicki, Michal (2006). Universal Multialgebra. (external link)
• Walicki, Michal; Wolter, Uwe; Stecher, Jack (2006). A category for studying the standardization of reporting languages. (external link)
• Lamo, Yngve; Walicki, Michal (2002). Quantifier-free logic for multialgebraic theories. (external link)
• Lamo, Yngve; Walicki, Michal (2002). Logic with equality for multialgebras - an application of Rasiowa-Sikorski technique. (external link)
• Ågotnes, Thomas; Walicki, Michal (2002). Only Explicitly Knowing. (external link)
• Lamo, Yngve; Walicki, Michal (2000). The institution of multialgebras. (external link)
• Lamo, Yngve; Walicki, Michal (2000). The institution of multialgebras. (external link)
• Lamo, Yngve; Walicki, Michal (1999). Modeling partiality by nondeterminism - from abstract specifications to flexible error handling. (external link)
• Pliuskevicius, Regimantas; Walicki, Michal; Sakaluskaite, Jurate et al. (1999). A logic of set-valued functions: Cut-elimination and other improvements. (external link)
• Lamo, Yngve; Walicki, Michal (1999). Modeling partiality by nondeterminism - from abstract specifications to flexible error handling. (external link)
• Walicki, Michal; Bialasik, Marcin (1997). Ralations, Multialgebras and Homomorphisms. (external link)
• Walicki, Michal; Haveraaen, Magne; Meldal, Sigurd (1996). Communication Algebras. (external link)
• Meldal, S.; Walicki, Michal (1995). Algebraic Approaches to Nondeterminism - an Overview. (external link)
• Meldal, S.; Walicki, Michal (1995). Nondeterministic Operators in Algebraic Frameworks. (external link)
• Walicki, Michal (1994). Singular and Plural Nondeterministic Parameters. (external link)
• Krauciukas, V.; Walicki, Michal (1994). Reasoning and Rewriting with Set-Relations l: Ground Completeness. (external link)
• Walicki, Michal (1993). Calculi for algebraic specification of nondeterminism; three completeness results. (external link)
• Walicki, Michal (1992). Calculii for non-deterministic specifications: Three completeness results. (external link)
• Walicki, Michal; Skakkebæk, J. U.; Sankar, S. (1991). The Stanford Ada Style Checker. (external link)

Academic chapter/article/Conference paper

• Walicki, Michal; Wolter, Uwe Egbert (2009). Universal Multialgebra. (external link)
• Walicki, Michal; Svanberg, Paul Simon (2009). Finite, Reasoning and Interacting Agents. (external link)
• Walicki, Michal; Bezem, Marc; Szajnkenig, Wojciech (2006). A strongly complete logic of dense time intervals. (external link)
• Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas et al. (2006). The Choice of Standards for a Reporting Language. (external link)
• Walicki, Michal (2006). A brief history of symbolic logic. (external link)
• Walicki, Michal; Stecher, Jack; Wolter, Uwe Egbert (2006). The choice of standards for a reporting language. (external link)

Academic lecture

• Walicki, Michal; Bezem, Marcus Aloysius; Langholm, Tore (2007). Sekvenslogikk. (external link)
• Bezem, Marcus Aloysius; Langholm, Tore; Walicki, Michal (2007). Completeness and Decidability in Sequence Logic. (external link)
• Walicki, Michal; Bezem, Marc (2006). A strongly complete logic of dense time intervals. (external link)
• Bezem, Marcus Aloysius; Walicki, Michal (2006). Decidability and Completeness of Sequence Logic. (external link)
• Walicki, Michal (2005). Bireachability and Final Multialgebras. (external link)
• Ågotnes, Thomas; Walicki, Michal (2005). Complete axiomatizations of finite syntactic epistemic states. (external link)
• Ågotnes, Thomas; Walicki, Michal (2005). Strongly Complete Axiomatizations of ``Knowing At Most`` in Standard Syntactic Assignments. (external link)
• Ågotnes, Thomas; Walicki, Michal (2004). Syntactic Knowledge: A Logic of Reasoning, Communication and Cooperation. (external link)
• Ågotnes, Thomas; Walicki, Michal (2004). A Note on Syntactic Characterization of Incomplete Information in {ATEL}. (external link)
• Lamo, Yngve; Walicki, Michal (2003). Quantifier-free logic for multialgebraic theories. (external link)
• Ågotnes, Thomas; Walicki, Michal (2003). A logic for reasoning about agents with finite explicit knowledge. (external link)
• Lamo, Yngve; Walicki, Michal (2003). Quantifier-free logic for multialgebraic theories. (external link)
• Lamo, Yngve; Walicki, Michal (2002). The general logic of multialgebras. (external link)
• Lamo, Yngve; Walicki, Michal (2002). Composition and refinement of specifications of parameterised data types. (external link)
• Walicki, Michal; Ågotnes, Thomas (2002). A Logic for Reasoning about Explicit Knowledge in Finite Agents. (external link)
• Lamo, Yngve; Walicki, Michal (2001). Specification of parameterized data types. (external link)
• Lamo, Yngve; Walicki, Michal (2001). Logic with equalities for multialgebras - an application of Rasiowa-Sikorski technique. (external link)
• Walicki, Michal; Meldal, Sigurd; Hodzic, Adis (2001). Compositional homomorphisms of relational structures (modeled as multialgebras). (external link)
• Lamo, Yngve; Walicki, Michal (2001). Specification and Refinement of Parameterized Data Types. (external link)
• Lamo, Yngve; Walicki, Michal (2001). Logic with Equality for Multialgebras (an application of Rasiowa-Sikorski technique),. (external link)
• Walicki, Michal; Meldal, Sigurd (2001). Nondeterminism vs. Underspecification. (external link)
• Lamo, Yngve; Walicki, Michal (2001). Modeling partiality by nondeterminism. (external link)
• Walicki, Michal (1997). Categories of Relational Structures. (external link)
• Walicki, Michal; Bialasik, Marcin (1997). Some Categories of Relations. (external link)
• Kriauciukas, V.; Walicki, Michal; Meldal, S. (1995). Nondeterministic Algebraic Specifications in Relational Syntax. (external link)
• Walicki, Michal; Meldal, S. (1995). Generated models and the w-rule: the nondeterministic case. (external link)
• Meldal, S.; Pliuskeviciene, A.; Pliuskevicius, R. et al. (1994). On Specialization of derivations in axiomatic equality theories. (external link)
• Walicki, Michal; Meldal, S. (1994). Multialgebras, Power Algebras and Complete Calculi of identities and inclusions. (external link)
• Meldal, S.; Walicki, Michal (1994). Nondeterministic operators in a standard framework. (external link)
• Kriauciukas, V.; Walicki, Michal (1994). Reasoning and Rewriting with Set-Relations I: Ground Completeness. (external link)
• Walicki, Michal; Meldal, S. (1994). Multialgebras, Power Algebras and Complete Calculi of identities and inclusions. (external link)
• Meldal, S.; Walicki, Michal (1993). Initially + nondeterminism implies junk. (external link)
• Walicki, Michal; Meldal, S. (1993). Sets and nondeteerminism. (external link)
• Walicki, Michal; Meldal, S. (1992). Multialgebras and computations: two algebraic semantics of nondeterminism. (external link)
• Walicki, Michal; Meldal, S. (1992). A deterministic semantics of nondeterminism. (external link)
• Meldal, S.; Walicki, Michal (1991). A function oriented view of nondeterminism. (external link)
• Walicki, Michal; Meldal, S. (1991). Towards an Equational Theory of Nondeterminism. (external link)

Poster

• Walicki, Michal; Ågotnes, Thomas (2005). A Logic of Syntactic Knowledge: Reasoning, Communication and Cooperation. (external link)

Masters thesis

• Badeno, Adugna; Walicki, Michal (2004). Generic proof checker. (external link)

Doctoral dissertation

• Ågotnes, Thomas; Walicki, Michal (2004). A Logic of Finite Syntactic Epistemic States. (external link)
• Walicki, Michal (1993). Algebraic specifications of nondeterminism. Avhandling, Dr.Scient. (external link)

Compendium

• Walicki, Michal (1995). Introduction to Logic - Lecture Notes. (external link)

Lecture

• Walicki, Michal; Haveraaen, Magne; Meldal, S. (1995). Communication Algebras. (external link)
• Walicki, Michal; Meldal, S. (1995). Refinement of Nondeterministic Data Types. (external link)
• Kriauciukas, V.; Walicki, Michal (1995). Reasoning and Rewriting with Set-Relations II: The Non-Ground Case Completeness. (external link)
• Walicki, Michal (1994). Implementation of Nondeterministic Data Types. (external link)
• Walicki, Michal (1994). Multialgebras and Logics for Nondeterminism. (external link)

See a complete overview of publications in Cristin.