The following pages link to Stepan I. Bashmakov (Q2239388):
Displayed 8 items.
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Non-unifiability in linear temporal logic of knowledge with multi-agent relations (Q2402133) (← links)
- Projective formulas and unification in linear discrete temporal multi-agent logics (Q2402145) (← links)
- (Q4553570) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
- Relational version of the multi-agent computation tree logic \(\mathcal{CTLK} \) (Q6127858) (← links)
- Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality (Q6200449) (← links)