Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Tomasz Jarmużek"'
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 2, Pp 281-295 (2022)
In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are semantically defined by means
Externí odkaz:
https://doaj.org/article/cc221dfc265c428390869b91e6730615
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 2, Pp 125-129 (2021)
Externí odkaz:
https://doaj.org/article/04df4f96746c4c2d8760331da6d00c59
Autor:
Tomasz Jarmużek
Publikováno v:
Analiza i Egzystencja, Vol 3, Pp 197-215 (2006)
The basic purpose of the paper is to present the famous and historical reasoning of ancient logician Diodor Cronos in a framework of the point ontology of time (POT). Diodor created his argument to prove that his definitions of alethic modalities in
Externí odkaz:
https://doaj.org/article/bc4ea0b871a64ffba47ed262f9e88f66
Publikováno v:
Studia Logica.
In the paper we examine the problem of logical systems that are extensions of Classical Propositional Logic with new, intensional connectives of agency: monadic and dyadic bringing it about that. These systems are usually studied within the neighbour
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c1ebfd8adf8859f1aafdba00ed4a8e2
https://doi.org/10.1007/s11225-022-10030-5
https://doi.org/10.1007/s11225-022-10030-5
Publikováno v:
Logic Journal of the IGPL. 31:574-597
In this paper, we apply relating semantics to the widely discussed problem of free choice between permitted actions or situations in normative systems. Leaving aside contexts in which the free choice principle is obviously unacceptable (weak permissi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e76539cfafad3f42ab7c5e4e5d59a9be
https://doi.org/10.1093/jigpal/jzac047
https://doi.org/10.1093/jigpal/jzac047
Autor:
Tomasz Jarmużek, Mateusz Klonowski
Publikováno v:
Logica Universalis. 16:195-219
In the paper, we examine tableau systems for R. Epstein’s logics of content relationship: $$\mathbf {D}$$ D (Dependence Logic), $$\mathbf {DD}$$ DD (Dual Dependence Logic), $$\mathbf {Eq}$$ Eq (Logic of Equality of Content), $$\mathbf {S}$$ S (Symm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3aaec566a9b2364a2a30e49d635e374b
https://doi.org/10.1007/s11787-022-00293-w
https://doi.org/10.1007/s11787-022-00293-w
Autor:
Tomasz Jarmużek, Francesco Paoli
Publikováno v:
Logic and Logical Philosophy. :1-17
Here, we discuss logical, philosophical and technical problems associated to relating logic and relating semantics. To do so, we proceed in three steps. The first step is devoted to providing an introduction to both relating logic and relating semant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8abd0c37681e45253c5bfec34020159e
https://doi.org/10.12775/llp.2022.002
https://doi.org/10.12775/llp.2022.002
Autor:
Tomasz Jarmużek, Mateusz Klonowski
Publikováno v:
Logic and Logical Philosophy. :1-29
In the paper a generalised method for obtaining an adequate axiomatic system for any relating logic expressed in the language with Boolean connectives and relating implication (BLRI), determined by the limited positive relational properties is studie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5eff62ac8f65ab5ec3155d8c3955f34
https://doi.org/10.12775/llp.2022.003
https://doi.org/10.12775/llp.2022.003
Autor:
Tomasz Jarmużek, Francesco Paoli
Publikováno v:
Logic and Logical Philosophy. 30:563-577
Here, we discuss historical, philosophical and technical problems associated with relating logic and relating semantics. To do so, we proceed in three steps. First, Section 1 is devoted to providing an introduction to both relating logic and relating
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bc6c471d3430e01de9498810b54f3016
https://doi.org/10.12775/llp.2021.025
https://doi.org/10.12775/llp.2021.025
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 2, Pp 125-129 (2021)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b52de8c82e1a4483b15a10f565f52e60
https://czasopisma.uni.lodz.pl/bulletin/article/view/10434
https://czasopisma.uni.lodz.pl/bulletin/article/view/10434