The following pages link to Stepan I. Bashmakov (Q2239388):
Displaying 6 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)
