Identity in Martin-Löf type theory
Identity in Martin-Löf type theory. Philosophy Compass, 17(2), e12805. 2021.
Relevant epistemic logic with public announcements and common knowledge
Journal of Logic and Computation, Volume 33, Issue 2, March 2023, Pages 436–461, https://doi.org/10.
A 0-1 Law in Mathematical Fuzzy Logic
IEEE Transactions on Fuzzy Systems 30 (9), pp. 3833-3840, 2022.
Iterated team semantics for a hierarchy of informational types
Annals of Pure and Applied Logic Volume 173 (10), 2022, 103156
Relevant propositional dynamic logic
Synthese 200, 235 (2022).
Logica Dominans vs. Logica Serviens
Logic and Logical Philosophy 31, 2022, 183-207
There Have to Be Crooks in This World Too
W. Gobsch & J. Held (eds.): Orientierung durch Kritik, Meiner, 2021, pp. 41-58.
Consistency and Decidability in Some Paraconsistent Arithmetics
The Australasian Journal of Logic, 18(5), 2021, 473-502
Moderate anti-exceptionalism and earthborn logic
Synthese, 199, pages 8781–8806, 2021
Inquisitive Heyting Algebras
Studia Logica 109, 2021, 995-1017
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
