The following pages link to Tadeusz Litak (Q299189):
Displaying 31 items.
- Relational lattices: from databases to universal algebra (Q299191) (← links)
- Cheap CTL compassion in NuSMV (Q784136) (← links)
- All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Completions of GBL-algebras: negative results (Q998758) (← links)
- Stability of the Blok theorem (Q998759) (← links)
- Infinite populations, choice and determinacy (Q1615993) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Modal incompleteness revisited (Q1826934) (← links)
- Topological perspective on the hybrid proof rules (Q2867949) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- A Van Benthem/Rosen theorem for coalgebraic predicate logic (Q2983396) (← links)
- Stone Duality for Nominal Boolean Algebras with И (Q3090869) (← links)
- Coalgebraic Predicate Logic (Q3167020) (← links)
- (Q3509061) (← links)
- Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion (Q4589616) (← links)
- (Q4637694) (← links)
- (Q4807691) (← links)
- (Q4826042) (← links)
- Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (Q4914523) (← links)
- (Q4992899) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- (Q5224576) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Relational Lattices (Q5410493) (← links)
- (Q5411417) (← links)
- Algebraization of Hybrid Logic with Binders (Q5459188) (← links)
- (Q5483006) (← links)
- "Lewis and Brouwer meet Strong L\""ob" (Q6531107) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
