Stepan I. Bashmakov

Available identifiers

zbMath Open bashmakov.stepan-igorevichMaRDI QIDQ2239388

List of research outcomes

Publication	Date of Publication	Type
Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)	2024-08-14	Paper
Relational version of the multi-agent computation tree logic \(\mathcal{CTLK} \)	2024-04-14	Paper
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality	2024-02-29	Paper
Unification in pretabular extensions of S4	2021-11-03	Paper
Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality	2021-03-18	Paper
Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK	2021-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4553570	2018-10-30	Paper
Projective formulas and unification in linear discrete temporal multi-agent logics	2017-09-06	Paper
Non-unifiability in linear temporal logic of knowledge with multi-agent relations	2017-09-06	Paper

Research outcomes over time

This page was built for person: Stepan I. Bashmakov