### ?

## A topological interpretation of public announcement logic

P. 6-11.

Kudinov A., Balbiani P.

Language:
English

Kudinov A., Balbiani P., Hans v. D., , in : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. : Berlin : Springer, 2013. P. 233-244.

In this paper we introduce public announcements to Subset Space Logic (SSL). In order to do this we have to change the original semantics for SSL a little and consider a weaker version of SSL without the cross axiom. We present an axiomatization, prove completeness and show that this logic is PSPACE-complete. Finally, we add ...

Added: February 21, 2013

Kudinov A., Shehtman V. B., , in : Leo Esakia on Duality in Modal and Intuitionistic Logics. : Springer, 2014. Ch. 11. P. 291-334.

We study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces, T1- spaces, dense-in-themselves spaces, a zero-dimensional dense-in-itself separable metric space, R^n (n>1). We also discuss the correlation between languages with different combinations of the ...

Added: March 5, 2014

Kudinov A., , in : Advances in Modal Logic, Volume 6. : L. : College Publications, 2006. P. 319-332.

Added: February 27, 2013

Khaitovich D., В кн. : Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г. : М. : Русское общество истории и философии науки, 2021. С. 145-148.

In the recent literature we can find several epistemic exstensions of STIT logics. One of the most prominent variant -- KSTIT logic, developed by John Horty and Eric Pacuit -- is build upon the introducing action type-token distinction in the theory, combined with a number of semantic constrains on epistemic and historical relations. In this ...

Added: September 21, 2021

Slavnov S. A., Moscow Mathematical Journal 2005 Vol. 5 No. 2 P. 477-492

Классический результат о топологической семантике модальных логик, принадлежащий МакКинси и Тарскому (и часто называемый теоремой Тарского), состоит в полноте логики S4 по отношению к интерпретациям в пространстве R^n
для любого n. В последнее время разные авторы рассматривали динамические топологические логики, которые интерпретируются в динамических пространствах (абстрактных динамических системах). Динамическое пространство – это топологическое пространство вместе с непрерывной функцией на нем. В работе Артёмова, Даворен и ...

Added: February 27, 2013

Marseille : [б.и.], 2011

Added: February 27, 2013

Kudinov A., , in : Advances in Modal Logic. Issue 9.: L. : College Publications, 2012. P. 286-294.

We consider modal logics of products of neighborhood frames and prove that for any pair L and L' of logics from set {S4, D4, D, T} modal logic of products of L-neighborhood frames and L'-neighborhood frames is the fusion of L and L'. ...

Added: February 21, 2013

Rybakov M., Shkatov D., , in : Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. : М. : Современные тетради, 2017. P. 45-45.

We discuss an example of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames. ...

Added: October 7, 2019

Dolgorukov V., Логико-философские штудии 2016 Т. 13 № 2 С. 116-117

В работе обсуждается возможность расширения языка эпистемической логики за счет учета структуры влияния агентов друг на друга. ...

Added: July 18, 2016

Popova E., Логико-философские штудии 2022 Vol. 20 No. 1 P. 1-7

There are two approaches to merging temporal and epistemic models. The first one consists in starting with a temporal model and enriching it with epistemic dimension (as temporal epistemic logic), while the second one is supposed to start with an epistemic model introducing temporal dimension (dynamic epistemic logic, epistemic temporal logic). The proposed evolutionary epistemic ...

Added: August 1, 2022

Schang F., Al-Mukhatabat 2014 Vol. 9 No. 1 P. 230-242

The paper draws attention to the epistemological obstacles that prevented Wittgenstein from acknowledging the modern view of modal logic, including the so-called propositional attitudes. Whilst suggesting a retrospective overview of the logic of epistemic modalities, it is argued that such obstacles primarily rely upon the nature of the logical space depicted in the Tractatus Logico-Philosophicus as well as the ...

Added: October 30, 2014

Dolgorukov V., Maksim Gladyshev, , in : Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Vol. 13780.: Cham : Springer, 2023. P. 56-72.

We present a static (ELbc) and dynamic (DELbc) epistemic logic for budget-constrained agents, in which an agent can obtain some information in exchange for budget resources. ELbc extends a standard multi-agent epistemic logic with expressions concerning agent’s budgets and formulas’ costs. DELbc extends ELbc with dynamic modality “[?iA]φ” which reads as “φ holds after i’s ...

Added: July 31, 2022

Beklemishev L. D., / Cornell University. Series math "arxiv.org". 2013. No. arXiv:1304.4396.

We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant `true' by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform reflection schemata in arithmetic, possibly of unrestricted logical complexity. We formulate an arithmetically complete calculus with ...

Added: November 22, 2013

Dolgorukov V., Popova E., , in : Logic Colloquium 2023, European Summer Meeting of the Association for Symbolic Logic, University of Milan, Italy 5—9 June 2023, Book of Abstracts. : Milan : University of Milan, 2023. P. 90-90.

We present a multi-agent logic for reasoning about knowledge in time which involves delays in the agent’s awareness. Awareness framework divides a common epistemic concept of knowledge into explicit and implicit ones. This division helps to avoid the problem of logical omniscience and proposes new instruments for analysis of resourcebounded agents reasoning. ...

Added: November 26, 2023

Dolgorukov V., Эпистемология и философия науки 2017 Т. 51 № 1 С. 92-105

The paper proposes an epistemic taxonomy of assertives based on a concept of epistemic presuppositions. Epistemic presuppositions are a special kind of pragmatic presuppositions, which describe the structure of hearer’s and speaker’s meta-reasoning. The epistemic taxonomy of assertives is based on the operator of strong common belief (𝐶𝐵). It is argued that the properties of a strong ...

Added: September 25, 2016

Popova E., , in : Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г. : М. : Русское общество истории и философии науки, 2021. P. 134-137.

This paper is concerned with the formalization problem of a wide range of scenarios of how knowledge evolves over time. We focus on combinations of temporal and epistemic modalities reflecting various properties of rational agents’ deliberation. For this purpose, we introduce the model EEM – evolutionary epistemic model. ...

Added: June 28, 2021

Schang F., / The Austrian Ludwig Wittgenstein Society, Ontos Verlag. Series ISSN: 1022-3398 "Reduction and Elimination in Philosophy and the Sciences". 2008. No. 16.

Added: November 4, 2014

Zolin E., Logic Journal of the IGPL 2015 Vol. 23 No. 6 P. 861-880

The celebrated theorem proved by Goldblatt and Thomason in 1974 gives necessary and sufficient conditions for an elementary class of Kripke frames to be modally definable. Here we obtain a local analogue of this result, which deals with modal definability of classes of pointed frames. Furthermore, we generalize it to the case of n-frames, which ...

Added: June 14, 2018

Shehtman V. B., Shapirovsky I., , in : Advances in Modal Logic. Vol. 11.: L. : College Publications, 2016. P. 520-534.

According to the classical result by Segerberg and Maksimova, a modal logic containing K4 is locally tabular iff it is of finite height. The notion of finite height can also be defined for logics, in which the master modality is expressible (‘pretransitive’ logics). We observe that any locally tabular logic is pretransitive of finite height. Then we prove some ...

Added: September 20, 2018

Complexity function and complexity of validity of modal and superintuitionistic propositional logics

Rybakov M., Shkatov D., Journal of Logic and Computation 2023 Vol. 33 No. 7 P. 1566-1595

We consider the relationship between the algorithmic properties of the validity problem for a modal or superintuitionistic propositional logic and the size of the smallest Kripke countermodels for non-theorems of the logic. We establish the existence, for every degree of unsolvability, of a propositional logic whose validity problem belongs to the degree and whose every ...

Added: January 6, 2023

Beklemishev L. D., Fernandez-Duque D., Joosten J. J., Studia Logica 2014 Vol. 102 No. 3 P. 541-566

We introduce the logics GLPΛ, a generalization of Japaridze’s polymodal provability logic GLPω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLPω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLPΛ and the decidability of GLPΛ for recursive ...

Added: November 21, 2013

Kudinov A., Shapirovsky I., , in : Topology, Algebra and Categories in Logic (TACL 2011). : Marseille : [б.и.], 2011. P. 261-264.

We consider propositional normal unimodal pretransitive logics, i.e., logics with expressible `transitive' modality. There is a long-standing open problem about the finite model property (fmp) and decidability of pretransitive logics, in particular - for the logics K^m_n = K+[]^m p -> []^n p, n>m>1. ...

Added: February 27, 2013

Zolin E., Notre Dame Journal of Formal Logic 2019

We introduce a modal operator of weak necessity, inspired by the canonical model construction for the non-contingency logic developed by Humberstone and Kuhn in 1995. This operator, when applied to a proposition, means that all consequences of a given proposition are non-contingent. We show that, although the weak necessity has many properties inherent to normal ...

Added: June 14, 2018