Krystian Jobczyk

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Putnam's model-theoretic argument (meta)reconstructed. In the mirror of Carpintero's and van Douven's interpretations Synthese	2026-03-27	Paper
Lindström's characterizability of abstract logic systems for analytic structures based on measures Notre Dame Journal of Formal Logic	2025-09-16	Paper
An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability International Journal of Approximate Reasoning	2023-12-12	Paper
The Hybrid Plan Controller Construction for Trajectories in Sobolev Space Artificial Intelligence and Soft Computing	2023-03-09	Paper
Temporal Traveling Salesman Problem – in a Logic- and Graph Theory-Based Depiction Artificial Intelligence and Soft Computing	2023-03-09	Paper
The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures	2023-02-26	Paper
STRIPS in some temporal-preferential extension Artificial Intelligence and Soft Computing	2022-05-18	Paper
Dynamic epistemic preferential logic of action Artificial Intelligence and Soft Computing	2022-05-18	Paper
Multi-valued extension of Putnam-Davis procedure Artificial Intelligence and Soft Computing	2022-05-18	Paper
Selected temporal logic systems: an attempt at engineering evaluation Artificial Intelligence and Soft Computing	2016-06-17	Paper
Why systems of temporal logic are sometimes (un)useful? Artificial Intelligence and Soft Computing	2016-06-17	Paper
New integral approach to the specification of STPU-solutions Artificial Intelligence and Soft Computing	2016-06-17	Paper
Comparative approach to the multi-valued logic construction for preferences Artificial Intelligence and Soft Computing	2016-06-17	Paper

Research outcomes over time

This page was built for person: Krystian Jobczyk