Michał Zawidzki

Available identifiers

zbMath Open zawidzki.michalMaRDI QIDQ821568

List of research outcomes

Publication	Date of Publication	Type
Finite Materialisability of Datalog Programs with Metric Temporal Operators	2023-03-13	Paper
A modal logic for subject-oriented spatial reasoning	2023-02-03	Paper
Tableaux for free logics with descriptions	2022-05-25	Paper
Tableau-based decision procedure for non-Fregean logic of sentential identity	2021-12-01	Paper
Subject-oriented spatial logic	2021-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q3452675	2015-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4982329	2015-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q5413339	2014-04-29	Paper
Satisfiability problem for modal logic with global counting operators coded in binary is \textsc{NExpTime}-complete	2013-03-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michał Zawidzki