The following pages link to Zofia Kostrzycka (Q519845):
Displaying 30 items.
- Normal modal logics determined by aligned clusters (Q519847) (← links)
- Asymptotic densities in logic and type theory (Q931404) (← links)
- The density of truth in monadic fragments of some intermediate logics (Q1006461) (← links)
- Statistics of intuitionistic versus classical logics (Q1826933) (← links)
- On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames (Q2810126) (← links)
- On linear Brouwerian logics (Q2922494) (← links)
- (Q2959883) (← links)
- On non-compact logics in NEXT(KTB) (Q3545214) (← links)
- (Q3574988) (← links)
- On the density of truth of implicational parts of intuitionistic and classical logics (Q3643262) (← links)
- On the Density of Truth of Locally Finite Logics (Q3656767) (← links)
- On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB (Q3656771) (← links)
- (Q4305490) (← links)
- (Q4339466) (← links)
- (Q4399405) (← links)
- (Q4408987) (← links)
- (Q4408988) (← links)
- (Q4438099) (← links)
- Interpolation in Normal Extensions of the Brouwer Logic (Q4593255) (← links)
- On interpolation in NEXT(KB.Alt(2)) (Q4629289) (← links)
- (Q4826044) (← links)
- (Q4826045) (← links)
- From Intuitionism to Brouwer's Modal Logic (Q4999458) (← links)
- All splitting logics in the lattice NEXT(KTB.3'A) (Q5040690) (← links)
- (Q5411404) (← links)
- (Q5411489) (← links)
- (Q5413328) (← links)
- On asymptotic divergency in equivalential logics (Q5458069) (← links)
- (Q5460171) (← links)
- Projective unification in weakly transitive and weakly symmetric modal logics (Q5866481) (← links)
