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,

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