Arbeidsnotat

• Michal Walicki (1995). Introduction to Logic - Lecture Notes. (ekstern lenke)

Doktorgradsavhandling

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

Forelesning

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

Forskningsrapport

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

Konferanseforedrag

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

Konferanseposter

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

Lærebok

• Michal Walicki (2016). Introduction to Mathematical Logic. (ekstern lenke)
• Michal Walicki (2012). Introduction to mathematical logic. (ekstern lenke)

Masteroppgave

• Adugna Badeno; Michal Walicki (2004). Generic proof checker. (ekstern lenke)

Vitenskapelig artikkel

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

Vitenskapelig bokkapittel

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

Se en fullstendig oversikt over publikasjoner i NVA.

check my web-page http://www.ii.uib.no/~michal