Michał Walicki

Available identifiers

zbMath Open walicki.michalMaRDI QIDQ409315

List of research outcomes

Publication	Date of Publication	Type
The structure of paradoxes in a logic of sentential operators	2024-12-20	Paper
There are only two paradoxes	2023-09-06	Paper
Paraconsistent resolution	2022-10-04	Paper
Generated models and the ω-rule: The nondeterministic case	2022-08-18	Paper
Extensions in graph normal form	2022-03-30	Paper
Paraconsistency, resolution and relevance	2019-06-08	Paper
Kernels of digraphs with finitely many ends	2018-11-29	Paper
RESOLVING INFINITARY PARADOXES	2017-08-03	Paper
Introduction to mathematical logic	2016-09-08	Paper
Propositional discourse logic	2015-01-08	Paper
Composition and refinement of specifications of parameterized data types	2013-08-19	Paper
Quantifier-free logic for multialgebraic theories	2013-06-06	Paper
Kernels in digraphs that are not kernel perfect	2012-08-10	Paper
Finding kernels or solving SAT	2012-05-11	Paper
Expressive power of digraph solvability	2012-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q3092751	2011-09-22	Paper
Recent Trends in Algebraic Development Techniques	2010-04-20	Paper
Reference, paradoxes and truth	2010-03-09	Paper
Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures	2009-04-28	Paper
Developing bounded reasoning	2009-03-24	Paper
Complete Axiomatisations of Properties of Finite Sets	2008-06-27	Paper
Completeness and Decidability in Sequence Logic	2008-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q5437776	2008-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q3434500	2007-05-02	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper
Quantifier-free logic for nondeterministic theories	2006-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4474845	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4782724	2002-12-02	Paper
Computation algebras	2002-02-27	Paper
Specification of parameterized programs -- persistency revisited	2002-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q3839063	1999-02-18	Paper
Singular and Plural Nondeterministic Parameters	1998-02-10	Paper
https://portal.mardi4nfdi.de/entity/Q4858905	1996-02-01	Paper

Research outcomes over time

This page was built for person: Michał Walicki