Michał Zawidzki

From MaRDI portal
Person:821568

Available identifiers

zbMath Open zawidzki.michalMaRDI QIDQ821568

List of research outcomes





PublicationDate of PublicationType
Everything is a relation: a preview2024-09-06Paper
Engaged in relations: a trialogue2024-09-06Paper
Bibliography of Ewa Orłowska2024-09-06Paper
Hybrid modal operators for definite descriptions2024-05-29Paper
Finite Materialisability of Datalog Programs with Metric Temporal Operators2023-03-13Paper
A modal logic for subject-oriented spatial reasoning2023-02-03Paper
Tableaux for free logics with descriptions2022-05-25Paper
Tableau-based decision procedure for non-Fregean logic of sentential identity2021-12-01Paper
Subject-oriented spatial logic2021-09-21Paper
https://portal.mardi4nfdi.de/entity/Q34526752015-11-13Paper
https://portal.mardi4nfdi.de/entity/Q49823292015-04-09Paper
https://portal.mardi4nfdi.de/entity/Q54133392014-04-29Paper
Satisfiability problem for modal logic with global counting operators coded in binary is \textsc{NExpTime}-complete2013-03-21Paper

Research outcomes over time

This page was built for person: Michał Zawidzki

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:821568&oldid=7251969"
Powered by MediaWiki