Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Litak, Tadeusz - School of Computer Science and Information Systems, Birkbeck College, University of London
A continuum of incomplete intermediate logics Tadeusz Litak
COMPLETIONS OF GBLALGEBRAS: NEGATIVE RESULTS TOMASZ KOWALSKI AND TADEUSZ LITAK
Some notes on the superintuitionistic logic of chequered subsets of R 1
An Algebraic Approach to Incompleteness in Modal Logic
Algebraization of Hybrid Logic with Binders Tadeusz Litak
On the Termination Problem for Declarative XML Message Processing
Isomorphism via translation Tadeusz Litak
Some Modal Aspects of XPath Balder ten Cate1 ,2
The Non-reflexive Counterpart of Grz Tadeusz Litak
All nitely axiomatizable tense logics of linear time ows are coNP-complete
A COMPLETE AXIOMATIZATION FOR CORE XPATH 1.0 BALDER TEN CATE, TADEUSZ LITAK, MAARTEN MARX
On notions of completeness weaker than Kripke completeness
