E-LIB Suche - Ergebnisse für: Litak, Tadeusz

1

An Algebraic Glimpse at Bunched Implications and Separation..:

, In: Outstanding Contributions to Logic; Hiroakira Ono on Substructural Logics,

Jipsen, Peter ; Litak, Tadeusz - p. 185-242 , 2021

Link: https://doi.org/10.1007/..

2

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis imp..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

de Groot, Jim ; Litak, Tadeusz ; Pattinson, Dirk - p. 1-15 , 2021

Link: https://dl.acm.org/doi/1..

3

Cheap CTL Compassion in NuSMV:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Hausmann, Daniel ; Litak, Tadeusz ; Rauch, Christoph. - p. 248-269 , 2020

Link: https://doi.org/10.1007/..

4

The high-level benefits of low-level sandboxing:

Sammler, Michael ; Garg, Deepak ; Dreyer, Derek.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-32 , 2019

Link: https://doi.org/10.1145/..

5

COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS:

HOLLIDAY, WESLEY H. ; LITAK, TADEUSZ
The Review of Symbolic Logic. 12 (2019) 3 - p. 487-535 , 2019

Link: https://doi.org/10.1017/..

6

The high-level benefits of low-level sandboxing:

Sammler, Michael ; Garg, Deepak ; Dreyer, Derek.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-32 , 2019

Link: https://dl.acm.org/doi/1..

7

Lewis meets Brouwer: Constructive strict implication:

Litak, Tadeusz ; Visser, Albert
Indagationes Mathematicae. 29 (2018) 1 - p. 36-90 , 2018

Link: https://doi.org/10.1016/..

8

Infinite Populations, Choice and Determinacy:

Litak, Tadeusz
Studia Logica: An International Journal for Symbolic Logic. 106 (2018) 5 - p. 969-999 , 2018

Link: https://www.jstor.org/st..

9

Infinite Populations, Choice and Determinacy:

Litak, Tadeusz
Studia Logica. 106 (2017) 5 - p. 969-999 , 2017

Link: https://doi.org/10.1007/..

10

Relational lattices: From databases to universal algebra:

Litak, Tadeusz ; Mikulás, Szabolcs ; Hidders, Jan
Journal of Logical and Algebraic Methods in Programming. 85 (2016) 4 - p. 540-573 , 2016

Link: https://doi.org/10.1016/..

11

A Van Benthem/Rosen theorem for coalgebraic predicate logic:

Schröder, Lutz ; Pattinson, Dirk ; Litak, Tadeusz
Journal of Logic and Computation. , 2015

Link: https://doi.org/10.1093/..

12

Complete axiomatizations for XPath fragments:

ten Cate, Balder ; Litak, Tadeusz ; Marx, Maarten
Journal of Applied Logic. 8 (2010) 2 - p. 153-172 , 2010

Link: https://doi.org/10.1016/..

13

Some modal aspects of XPath:

ten Cate, Balder ; Fontaine, Gaëlle ; Litak, Tadeusz
Journal of Applied Non-Classical Logics. 20 (2010) 3 - p. 139-171 , 2010

Link: https://doi.org/10.3166/..

14

Stability of the Blok Theorem:

Litak, Tadeusz
Algebra universalis. 58 (2008) 4 - p. 385-411 , 2008

Link: https://doi.org/10.1007/..

15

Completions of GBL-algebras: negative results:

Kowalski, Tomasz ; Litak, Tadeusz
Algebra universalis. 58 (2008) 4 - p. 373-384 , 2008

Link: https://doi.org/10.1007/..