Tomasz Jarmużek

From MaRDI portal
Person:1037590

Available identifiers

zbMath Open jarmuzek.tomaszMaRDI QIDQ1037590

List of research outcomes

PublicationDate of PublicationType
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
https://portal.mardi4nfdi.de/entity/Q35928042007-09-24Paper
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities0001-01-03Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Tomasz Jarmużek