The following pages link to Michał Krynicki (Q549715):
Displayed 33 items.
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- On simplicity of formulas (Q757354) (← links)
- Vector spaces and binary quantifiers (Q795826) (← links)
- A note on syntactical and semantical functions (Q1107520) (← links)
- Henkin and function quantifiers (Q1121872) (← links)
- The non-definability notion and first order logic (Q1124586) (← links)
- Decidability problems in languages with Henkin quantifiers (Q1198829) (← links)
- On the semantics of the Henkin quantifier (Q3208639) (← links)
- Theories of arithmetics in finite models (Q3370752) (← links)
- (Q3474642) (← links)
- Quantifiers determined by partial orderings (Q3496324) (← links)
- (Q3509165) (← links)
- (Q3722496) (← links)
- On Some Applications of Games for Härtig Quantifier (Q3773858) (← links)
- (Q3781742) (← links)
- (Q3789541) (← links)
- Notion of Interpretation and Nonelementary Languages (Q3822155) (← links)
- On orderings of the family of all logics (Q3964545) (← links)
- The Härtig quantifier: a survey (Q3984397) (← links)
- An axiomatization of the logic with the rough quantifier (Q3984432) (← links)
- (Q4014127) (← links)
- Remarks on The Cartesian Closure (Q4031103) (← links)
- (Q4105652) (← links)
- (Q4198735) (← links)
- (Q4250072) (← links)
- Hierarchies of Partially Ordered Connectives and Quantifiers (Q4304113) (← links)
- (Q4395553) (← links)
- (Q4395559) (← links)
- (Q4395570) (← links)
- (Q4699335) (← links)
- (Q4875706) (← links)
- Games on Trees and Syntactical Complexity of Formulas (Q5436997) (← links)
- (Q5445166) (← links)