13 research outputs found
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
The modal characterization theorem by J. van Benthem characterizes classical modal logic as the bisimulation invariant fragment of first-order logic. In this paper, we prove a similar characterization theorem for intuitionistic modal logic. For this purpose we introduce the notion of modal asimulation as an analogue of bisimulations. The paper treats four different fragments of first-order logic induced by their respective versions of Kripke-style semantics for modal intuitionistic logic. It is shown further that this characterization can be easily carried over to arbitrary first-order definable subclasses of classical first-order models. © 2016 Elsevier B.V
A Lindström theorem in many-valued modal logic over a finite MTL-chain
We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral residuated lattice). We first show that the basic modal abstract logic with constants for the values of the MTL-chain is the maximal abstract logic satisfying Compactness, the Tarski Union Property and strong invariance for bisimulations. Finally, we improve this result by replacing the Tarski Union Property by a relativization property. © 2019 Elsevier B.V.We are grateful to two anonymous referees and the editor of this journal for their numerous and helpful comments. Their help greatly improved the paper. Guillermo Badia is supported by the project I 1923-N25 of the Austrian Science Fund (FWF). Grigory Olkhovikov is supported by Deutsche Forschungsgemeinschaft (DFG), project WA 936/11-1
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames
The Youth and Competencies of the XXI Century
Тема навыков жизненной карьеры давно переросла узко педагогические рамки. Вместе с тем к списку социально-технологических способностей все увереннее примешивается подчас произвольно варьируемый набор навыков выживания в актуальных ситуациях и процессах. Для того чтобы избежать риска получения бесконечных расширений списка компетенций XXI в., предлагаем обратиться к аналитическому разграничению таковых на абсолютные и относительные в зеркале установок жизненной карьеры современной молодежи в России и мире.The topic of life career skills has long outgrown the narrow pedagogical framework. At the same time, the list of socio-technological abilities is increasingly mixed with a sometimes arbitrarily varied set of survival skills in current situations and processes. In order to avoid the risk of getting endless extensions of the list of competencies of the XXI century, we suggest turning to the analytical differentiation of those into absolute and relative, in the mirror of the life career settings of modern youth in Russia and the world
Reference to Actions as the Basis for Reference to Objects
Статья посвящена формализации ранее предложенного автором решения для задачи Крипке о веровании. Формализация проводится на основе ранее сформулированной автором теории действий Δ, а точнее на основе расширения Δ(N) этой теории, которое определяется в настоящей статье. Автор показывает, что помимо решения для задачи Крипке Δ(N) может послужить средством для анализа актуальных понятий философской прагмасемантики, например для дистинкции между различными видами истинностных условий акта высказывания.The paper deals with the formalization of the solution to the Kripke’s puzzle about belief that was earlier proposed by the author. The formalization is based on the author’s own theory of actions D, or, more precisely, in a specific extension D(N) of this theory, which is defined in this paper. The author shows that, apart from the formalization of Kripke’s puzzle, D(N) may serve as a tool for the analysis of important concepts in philosophical pragma-semantics, e.g. the distinction between different kinds of truth conditions of an utterance act.Подготовлено при поддержке РГНФ, проект № 11-03-00608а и РФФИ, проект 11-06-00430а
On some theorems of ? theory
The paper concerns second-order theory ?, constructed by the author as a part of his project on providing deontic logic with a safe foundation. The theory is proved to be consistent, and a number of theorems providing an insight into the general structure of its models is deduced.В статье рассматривается второпорядковая теория ?, построенная автором в рамках развиваемого им проекта по обоснованию деонтической логики. Доказывается непротиворечивость теории, после чего выводится ряд ее теорем, позволяющих лучше понять общую структуру ее моделей
Towards new ontological presuppositions for logic of actions: analysis of L0
The article states that the traditional system of ontological presuppositions employed in the logical analysis of actions is inadequate, and sets forth a principle for constructing a new system, hopefully more adequate and natural. Then a simple logic of action modeled in the spirit of this new principle is defined and investigated. The degree of its conformity to the new ontological principles is discussed in the concluding paragraphs of the article.В статье констатируется неадекватность традиционной системы онтологических предпосылок логики действия и выдвигается общий принцип конструкции новой, в перспективе более адекватной и естественной, системы. Рассматривается вариант простейшей логики действия, сконструированной в духе выдвинутых принципов. Исследуются основные свойства этой логики, после чего определяются степень и характер ее соответствия установкам, декларируемым в начале статьи
Modern Sport as a Mirror of Actual Culture
Here are our provocative arguments for conference panel in Ural Federal University to discuss cultural aspects of sportive mega-events.В тексте предлагаются провокационные аргументы для дискуссии на площадке конференции в Уральском федеральном университете, посвященной культурным аспектам спортивных мега-событий