Oddělení logiky
Department of Logic
O nás
Lidé
Vít Punčochář
Pavel Arazim
Ansten Mørch Klev
Vojtěch Kolman
Pavel Materna
Ondrej Majer
Jaroslav Peregrin
Vladimír Svoboda
Marta Vlasáková
Kontakt
Ocenění
Aktuality
Projekty
Aktuální grantové projekty
Uzavřené grantové projekty
Publikace
Logica Yearbook
Knihy
Články
Přepisy: Martin-Löf
Akce
LOGICA
Konference
Workshopy
Seminář
Multimedia
LOGICA - videa
Fotogalerie
EN
Identity in Martin-Löf type theory
Klev, A.
Identity in Martin-Löf type theory. Philosophy Compass, 17(2), e12805. 2021.
Relevant epistemic logic with public announcements and common knowledge
Vít Punčochář, Igor Sedlár, Andrew Tedder
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
Badia, G. & Noguera, C.
IEEE Transactions on Fuzzy Systems 30 (9), pp. 3833-3840, 2022.
Iterated team semantics for a hierarchy of informational types
Punčochář, V.
Annals of Pure and Applied Logic Volume 173 (10), 2022, 103156
Relevant propositional dynamic logic
Tedder, A. & Bílková, M.
Synthese 200, 235 (2022).
Logica Dominans vs. Logica Serviens
Peregrin, J. & Svoboda, V.
Logic and Logical Philosophy 31, 2022, 183-207
There Have to Be Crooks in This World Too
Kolman, V.
W. Gobsch & J. Held (eds.): Orientierung durch Kritik, Meiner, 2021, pp. 41-58.
Consistency and Decidability in Some Paraconsistent Arithmetics
Tedder, A.
The Australasian Journal of Logic, 18(5), 2021, 473-502
Moderate anti-exceptionalism and earthborn logic
Peregrin, J. & Svoboda, V.
Synthese, 199, pages 8781–8806, 2021
Inquisitive Heyting Algebras
Punčochář, V.
Studia Logica 109, 2021, 995-1017
Strana 2 z 6
Začátek
Předchozí
1
2
3
4
5
6
Následující
Konec