Anna Vladimirovna Kosheleva

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
Spatial evolution of near-bottom cold-water lenses on the shelf of the sea of Japan Journal of Applied Mechanics and Technical Physics	2024-06-10	Paper
Satisfiability in a Temporal Multi-valueted Logic Based on Z Journal of Siberian Federal University. Mathematics & Physics	2022-04-06	Paper
Projective formulas and unification in linear discrete temporal multi-agent logics Sibirskie Elektronnye Matematicheskie Izvestiya	2017-09-06	Paper
Non-unifiability in linear temporal logic of knowledge with multi-agent relations Sibirskie Elektronnye Matematicheskie Izvestiya	2017-09-06	Paper
Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics Algebra and Logic	2006-11-17	Paper
Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules Logic Journal of the IGPL	2005-09-28	Paper

Research outcomes over time

This page was built for person: Anna Vladimirovna Kosheleva