Tomasz Jarmużek

Available identifiers

zbMath Open jarmuzek.tomaszMaRDI QIDQ1037590

List of research outcomes

Publication	Date of Publication	Type
\textit{Brings it about that} operators decomposed with relating semantics	2024-06-26	Paper
Tableaux for some deontic logics with the explicit permission operator	2024-02-29	Paper
Free choice permission, legitimization and relating semantics	2023-07-06	Paper
Tableau metatheory for syllogistic logics	2023-03-29	Paper
Relating semantics as fine-grained semantics for intensional logics	2022-10-25	Paper
Some intensional logics defined by relating semantics and tableau systems	2022-10-25	Paper
Tableaux for logics of content relationship and set-assignment semantics	2022-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q5067584	2022-04-01	Paper
Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems	2022-03-29	Paper
Incorporating the relation into the language? A survey of approaches in relating logic	2022-03-29	Paper
On logic of strictly-deontic modalities. A semantic and tableau approach	2021-08-17	Paper
Tableau Methods for Propositional Logic and Term Logic	2021-07-13	Paper
Boolean connexive logics: semantics and tableau approach	2021-01-08	Paper
Modal Boolean connexive logics: semantics and tableau approach	2020-10-15	Paper
Jerzy Łos positional calculus and the origin of temporal logic	2020-02-11	Paper
A method of defining paraconsistent tableaus	2019-10-31	Paper
Pure modal logic of names and tableau systems	2018-12-21	Paper
Bayesian propositional logic	2018-07-12	Paper
Tableau metatheorem for modal logics	2015-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q5169618	2014-07-11	Paper
Tableau system for logic of categorial propositions and decidability	2014-04-23	Paper
Master argument vs. sea-fight tomorrow	2014-04-23	Paper
The tense logic for Master Argument in Prior's reconstruction	2009-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q5437788	2008-01-28	Paper
Completeness of minimal positional calculus	2007-09-24	Paper
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities	N/A	Paper

Research outcomes over time

This page was built for person: Tomasz Jarmużek