Tomasz Jarmużek

From MaRDI portal
Person:1037590

Available identifiers

zbMath Open jarmuzek.tomaszMaRDI QIDQ1037590

List of research outcomes





PublicationDate of PublicationType
\textit{Brings it about that} operators decomposed with relating semantics2024-06-26Paper
Tableaux for some deontic logics with the explicit permission operator2024-02-29Paper
Free choice permission, legitimization and relating semantics2023-07-06Paper
https://portal.mardi4nfdi.de/entity/Q58831852023-03-29Paper
Relating semantics as fine-grained semantics for intensional logics2022-10-25Paper
Some intensional logics defined by relating semantics and tableau systems2022-10-25Paper
Tableaux for logics of content relationship and set-assignment semantics2022-09-01Paper
https://portal.mardi4nfdi.de/entity/Q50675842022-04-01Paper
Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems2022-03-29Paper
Incorporating the Relation into the Language?2022-03-29Paper
On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach2021-08-17Paper
Tableau Methods for Propositional Logic and Term Logic2021-07-13Paper
Boolean Connexive Logics: Semantics and tableau approach2021-01-08Paper
Modal Boolean Connexive Logics: Semantics and Tableau Approach2020-10-15Paper
Jerzy Łoś Positional Calculus and the Origin of Temporal Logic2020-02-11Paper
A Method of Defining Paraconsistent Tableaus2019-10-31Paper
Pure modal logic of names and tableau systems2018-12-21Paper
Bayesian Propositional Logic2018-07-12Paper
Tableau Metatheorem for Modal Logics2015-06-29Paper
https://portal.mardi4nfdi.de/entity/Q51696182014-07-11Paper
https://portal.mardi4nfdi.de/entity/Q54114382014-04-23Paper
https://portal.mardi4nfdi.de/entity/Q54114602014-04-23Paper
The tense logic for Master Argument in Prior's reconstruction2009-11-16Paper
https://portal.mardi4nfdi.de/entity/Q54377882008-01-28Paper
Completeness of minimal positional calculus2007-09-24Paper
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalitiesN/APaper

Research outcomes over time

This page was built for person: Tomasz Jarmużek