We develop multi-conclusion nested sequent calculi for the fifteen logics of the intuitionistic modal cube between IK and IS5. The proof of cut-free completeness for all logics is provided both syntactically via a Maehara-style translation and semantically by constructing an infinite birelational countermodel from a failed proof search. Interestingly, the Maehara-style translation for proving soundness syntactically fails due to the hierarchical structure of nested sequents. Consequently, we only provide the semantic proof of soundness. The countermodel construction used to prove completeness (...) required a completely novel approach to deal with two independent sources of non-termination in the proof search present in the case of transitive and Euclidean logics. (shrink)

Kuznet︠s︡ov, I. V. Kategorii︠a︡ prichinnosti i ee poznavatelʹnoe znachenie.--Shali︠u︡tin, S. M. Ob otrazhenii kak obshchem svoĭstve materii.--I︠U︡rgelenas, D. I. Teorii︠a︡ otrazhenii︠a︡ i poni︠a︡tie informat︠s︡ii.--Korneeva, A. I. Vozrastai︠u︡shchai︠a︡ rolʹ logicheskogo myshlenii︠a︡ v poznanii mira.--Klimashevskiĭ, G. Teoretiko-poznavatelʹnai︠a︡ rolʹ myslennogo ėksperimenta v fizike.-- Podosetnik, V. M. Gnoseologicheskoe znachenie faktov v poznanii obshchestvennykh i︠a︡vleniĭ.

В книге представлены итоги исследований формирования важного направления в российской и мировой социологии, актуального для всех общественных наук - социологической теории компромисса.

В книге представлены итоги исследований формирования важного направления в российской и мировой социологии, актуального для всех общественных наук - социологической теории компромисса.

Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya's minimal bimodal (...) explicit evidence logic, which is a two-agent version of LP. We discuss the relationship of our logic to the multi-agent modal logic S4 with common knowledge. Finally, we give a brief analysis of the coordinated attack problem in the newly developed language of our logic. (shrink)

В учебном пособии изложены методы расчета различных средств непрерывного транспорта, основанные на рассмотрении напряженно-деформированного состояния сыпучих грузов с позиций статистической теории предельного равновесия Кулона – Мора, а напряженно-деформированного состояния конвейерных лент – по теории первоначально-напряженных движущихся ортотропных оболочек.Книга рассчитана на студентов и аспирантов вузов, обучающихся по специальности «Подъемно-транспортные, строительные, дорожные машины и оборудование». Может быть использована научными и инженерно-техническими работниками горнодобывающей, машиностроительной, химической и других отраслей промышленности.