Zalan Gyenis' webpage

▶ For students - course materials

▸ 2024/25 Modal logic WFz.IF-F1-FAK-LO16 (Wykład + Ćwiczenia)

Topics:

JvB: p.11-16; RZ: p.2-5; p.7-10
BRV: p.9-10; substitution, p. 15; p. 16-21; p. 24-26; p. 34-37
Epistemic logic: JvB: III/12 (p. 133-139); three logicians in a bar
Surprise exam, Fitch paradox (JvB: 15.4, p.176-177)
Deontic logic and some paradoxes regarding standard deontic logic
Consistency of K (trivial and verum translations), BB:Section 3.1 (frame definability) page 125-129, Ex. 3.6, and Ex. 3.9 on page 131)
Disjoint unions: Def. 2.2, Prop. 2.3, p.52
Generated submodels: Def. 2.5, Prop. 2.6, p. 55; - p. 159 Def 3.13, Thm 3.14(i), (ii), Example 3.15 until the paragraph "the two final examples".
Example 2.4, Thm 3.14 (i) and (ii): give examples for that the direction of the implication cannot be reversed.
Bounded morphisms, modal undefinability of certian frame properties (fullness, directed fullness, finiteness, existence of a loop, non-universality, existence of predecessor, irreflexivity, anti-symmetry, intransitivity, acyclicity) [p.57 "morphisms and modalities" until p.64, except for Def.2.12 and Example 2.13]
Standard translation [p.83, sec 2.4 until Example 2.50], Temporal logic: Thomasson, K_tTho+M, consistent but no frame validates
General frame, consistency of K_tThoM, Unfolding/unraveling
Filtration
Non-normal modal logics, examples
Neighbourhood semantics, examples

Resources:

Blackburn--Rijke--Venema: Modal logic, Cambridge University Press, 2014
Richard Zach: Boxes and Diamonds
Johann van Benthem: Modal logic for the Open Minds

▸ 2024/25 Logika WFz.IF-F1-OBL-LO01 (Ćwiczenia)

Handouts:

Resources:

▶ Publications

▸ Books

H. Andréka, Z. Gyenis, I. Németi, and I. Sain, Universal Algebraic Logic, Birkhauser, Studies in Universal Logic series, 2022
L. Csirmaz, Z. Gyenis, Mathematical Logic: Exercises and Solutions, Springer, Problem Books in Mathematics series, 2022

▸ Papers

L. Wroński, M. T. Godziszewski, Z. Gyenis, Elimination counterexamples -- a blow to accuracy monism?, (Sage and Wolfram codes: REPOSITORY), British Journal for Philosophy of Science, 2025
L. Wroński, Z. Gyenis, M.Z. Cocchiaro, Formal Consistency of the Principal Principle Revisited, European Journal for Philosophy of Science 15, 10, 2025
L. Wroński, Z. Gyenis, How to serve two epistemic masters, Submitted for publications, 2024
Z. Gyenis, Z. Molnár, Varieties of modal algebras without the congruence extension property, Submitted for publication, 2024
H. Andréka, Z. Gyenis, I. Németi, and I. Sain, Logic families, Studia Logica, Forthcoming, 2024.
Z. Gyenis, Ö. Öztürk, Amalgamation and Robinson property in Universal Algebraic Logic, Logic Journal of IGPL, Volume 32, Issue 1, pp.180–196, 2024
M. Gil Sanchez, Z. Gyenis, L. Wroński, Nonclassical probability, convex hulls and Dutch books, Episteme, Volume 21, Issue 2, pp.498-518, 2024
A. Gopaulsingh, Z. Gyenis, and Ö. Öztürk, Subalgebra independence, Math. Reports, 25(75), Vol. 4, pp. 589-601, 2023
Z. Gyenis, Z. Molnár, Ö. Öztürk, The Modelwise Interpolation Property of Semantic Logics, Bulletin of the Section of Logic 52(1), pp. 59-83, 2023, DOI
M. Gil Sanchez, Z. Gyenis, L. Wroński, Probability and symmetric logic, Journal of Philosophical Logic, Vol. 52, pp.183--198, 2023
L. Wroński, Z. Gyenis, M.Z.Cocchiaro, What Chance-Credence Norms Should Be, Synthese, Vol. 200, Issue 6, 2022
Z. Gyenis, M. Rédei, The Maxim of Probabilism -- with special regard to Reichenbach, Synthese, 199, 8857-8874, 2021
A. Banerjee, Z. Gyenis, Chromatic number of the product of graphs, graph homomorphisms, antichains and cofinal subsets of posets without AC, Commentationes Math. Univ. Carolinae, 62(3), 361-382, 2021
Z. Gyenis, M. Rédei, Having a look at the Bayes Blind Spot, Synthese, 198(4), 3801-3832, 2021
Z. Gyenis, Standard Bayes logic is not finitely axiomatizable, Reviews of Symbolic Logic, 13(2), 326-337, 2020
W. Brown, Z. Gyenis, M. Rédei, The modal logic of Bayesian belief revision, Journal of Philosophical Logic, 48(5), 809-824, 2019
Z. Gyenis, On the modal logic of Jeffrey conditionalization, Logica Universalis, 12(3), 351-374, 2018
Z. Gyenis, Algebraic characterization of the local Craig interpolation property, Bulletin of the Section of Logic, Vol. 47, No. 1, pp. 45--59, 2018
Z. Gyenis, Skeleton in the Euclidean closet, Kálmán--Kornai 120 Festschrift, Beáta Gyuris, Katalin Mády, and Gábor Recski (eds.), Research Institute for Linguistics, Hungarian Academy of Sciences, ISBN 978-963-9074-73-6, 2017
Z. Gyenis, M. Rédei, Categorial subsystem independence as morphism co-possibility, Communications in Mathematical Physics, Vol. 357, Issue 1, pp. 447--465, 2018
Z. Gyenis, M. Rédei, Common cause completability of non-classical probability spaces, Belgrade Philosophical Annual Vol. XXIX, pp. 15-32, 2017
Z. Gyenis, M. Rédei, General properties of Bayesian learning as statistical inference determined by conditional expectations, Reviews of Symbolic Logic, Vol. 10, Issue 4, pp. 719-755, Dec. 2017
Z. Gyenis, M. Rédei, A principled analysis of consistency of an Abstract Principal Principle, in: Making it Formally Explicit, Gábor Hofer-Szabó, Leszek Wroński (eds.), pp. 3-33, Springer, 2017
Z. Gyenis, G. Hofer-Szabó, M. Rédei, Conditioning using conditional expectations: the Borel-Kolmogorov paradox, Synthese, Vol. 194, Issue 7, pp. 2595-2630, 2017, ERRATA!!! by Philipp Wacker
H. Andréka, Z. Gyenis, I. Németi, Ultraproducts of continuous posets, Algebra Universalis, 76:2, 231--235, 2016
Z. Gyenis, M. Rédei, Measure theoretic analysis of consistency of the Principal Principle, Philosophy of Science, Vol. 83, No. 5, pp.972--987, 2016
Z. Gyenis, M. Rédei, Defusing Bertrand's paradox, BJPS, 66(2), 349-373, 2015; doi:10.1093/bjps/axt036
Z. Gyenis, M. Rédei, Why Bertrand's paradox is not paradoxical but is felt so. In: Mäki, U., Votsis, I., Ruphy, S., Schurz, G. (eds) Recent Developments in the Philosophy of Science: EPSA13 Helsinki. European Studies in Philosophy of Science, vol 1. Springer, Cham, 2015
Z. Gyenis, Interpolation property and homogeneous structures, Logic Journal of IGPL, 22(4), 597-607, 2014; doi: 10.1093/jigpal/jzt051
Z. Gyenis, M. Rédei, Atomicity and causal completeness, Erkenntnis 79:3, 437--451, 2014
G. Sági, Z. Gyenis, Upward Morley's Theorem Downward, Math. Log. Quart. 59, No. 4–5, 303–331 (2013) DOI 10.1002/malq.201110048
Z. Gyenis, On atomicity of free algebras of certain cylindric-like varieties, Logic Journal of IGPL 19(1), 44--52, 2011
Z. Gyenis, M. Rédei, Characterizing common cause closed probability spaces, PhilSci, 78:3, 393--409, July 2011
L. E. Szabó, B. Gyenis, Z. Gyenis, M. Rédei, G. Hofer-Szabó, Korrelációk kauzális magyarázata, (in Hungarian) Magyar Filózófiai Szemle, 2010:3

▸ Fun

Z. Gyenis (Polish translation: Błażej Gębura), Czy piraci powodują globalne ocieplenie?, Filozofuj! 2019:3(27)

▸ PhD Thesis

Finite categoricity and Non-atomicity of free algebras,
PhD Thesis, Deparment of Mathematics, Central European University, 2013
Referees: Martin Goldstern, Péter Komjáth; Head: László Csirmaz
Supervisor: Gábor Sági; Slides of defense, 26 Apr 2013
10 page abstract