Michał Zawidzki

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
When Iota meets lambda Synthese	2026-03-27	Paper
Everything is a relation: a preview	2024-09-06	Paper
Engaged in relations: a trialogue	2024-09-06	Paper
Bibliography of Ewa Orłowska	2024-09-06	Paper
Hybrid modal operators for definite descriptions	2024-05-29	Paper
Finite Materialisability of Datalog Programs with Metric Temporal Operators Journal of Artificial Intelligence Research	2023-03-13	Paper
A modal logic for subject-oriented spatial reasoning	2023-02-03	Paper
Tableaux for free logics with descriptions (available as arXiv preprint)	2022-05-25	Paper
Tableau-based decision procedure for non-Fregean logic of sentential identity (available as arXiv preprint)	2021-12-01	Paper
Subject-oriented spatial logic Information and Computation	2021-09-21	Paper
Deductive systems and the decidability problem for hybrid logics	2015-11-13	Paper
Decision procedures for some strong hybrid logics	2015-04-09	Paper
Adequacy of the logic \(\mathrm{K}(\mathsf{E}_{n})\)	2014-04-29	Paper
Satisfiability problem for modal logic with global counting operators coded in binary is \textsc{NExpTime}-complete Information Processing Letters	2013-03-21	Paper

Research outcomes over time

This page was built for person: Michał Zawidzki