PD Dr. habil. Tadeusz Michal Litak

Scopus Author ID: 8865100500



Organisation


Lehrstuhl für Informatik 8 (Theoretische Informatik)


Publications (Download BibTeX)

Go to first page Go to previous page 1 of 2 Go to next page Go to last page

Litak, T.M., & Visser, A. (2018). Lewis meets Brouwer: Constructive strict implication. Indagationes Mathematicae-New Series, 29(1), 36-90. https://dx.doi.org/10.1016/j.indag.2017.10.003
Litak, T.M., Pattinson, D., Sano, K., & Schröder, L. (2018). Model Theory and Proof Theory of Coalgebraic Predicate Logic. Logical Methods in Computer Science, 14(1). https://dx.doi.org/10.23638/LMCS-14(1:22)2018
Holliday, W., & Litak, T.M. (2018). One Modal Logic to Rule Them All? In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer (Eds.), Advances in Modal Logic 2018 (pp. 367-386). Bern, CH: London, UK: College Publications.
Milius, S., & Litak, T.M. (2017). Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion. Fundamenta Informaticae, 150, 407-449. https://dx.doi.org/10.3233/FI-2017-1475
Litak, T.M., Polzer, M., & Rabenstein, U. (2017). Negative Translations and Normal Modality. In Dale Miller (Eds.), (pp. 27:1--27:18). Oxford, GB: Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.
Schröder, L., Litak, T.M., & Pattinson, D. (2015). A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic. Journal of Logic and Computation, advance access, -. https://dx.doi.org/10.1093/logcom/exv043
Litak, T.M., Mikulás, S., & Hidders, J. (2015). Relational Lattices: From Databases to Universal Algebra. Journal of Logical and Algebraic Methods in Programming, 85(4), 540-573. https://dx.doi.org/10.1016/j.jlamp.2015.11.008
Litak, T.M. (2014). Constructive modalities with provability smack. In Guram Bezhanishvili (Eds.), Leo Esakia on duality in modal and intuitionistic logics (pp. 179-208). Berlin/Heidelberg: Springer.
Litak, T.M., Mikulás, S., & Hidders, J. (2014). Relational Lattices. In 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014; Marienstatt; Germany; 28 April 2014 through 1 May 2014 (pp. 327-343). Marienstatt, DE: Springer.
Litak, T.M., Pattinson, D., & Sano, K. (2013). Coalgebraic Predicate Logic: Equipollence Results and Proof Theory. In Chapter in Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011 (pp. 257-276). Kutaisi: Berlin/Heidelberg: Springer-verlag.

Last updated on 2019-15-08 at 23:51