Stepan I. Bashmakov

Available identifiers

zbMath Open bashmakov.stepan-igorevichMaRDI QIDQ2239388

List of research outcomes

Publication	Date of Publication	Type
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 and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK	2021-03-18	Paper
Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality	2021-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4553570	2018-10-30	Paper
Non-unifiability in linear temporal logic of knowledge with multi-agent relations	2017-09-06	Paper
Projective formulas and unification in linear discrete temporal multi-agent logics	2017-09-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stepan I. Bashmakov