Anna Vladimirovna Kosheleva

Available identifiers

zbMath Open kosheleva.anna-vladimirovnaMaRDI QIDQ2402132

List of research outcomes

Publication	Date of Publication	Type
Spatial evolution of near-bottom cold-water lenses on the shelf of the sea of Japan	2024-06-10	Paper
Satisfiability in a Temporal Multi-valueted Logic Based on Z	2022-04-06	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
Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics	2006-11-17	Paper
Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules	2005-09-28	Paper

Research outcomes over time

This page was built for person: Anna Vladimirovna Kosheleva