?
A topological interpretation of public announcement logic
P. 6–11.
Kudinov A., Balbiani P.
Language:
English
Shehtman V. B., Gagarin A., , in: Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)Vol. 66.: Springer, 2026. Ch. 17 P. 419–450.
The chapter contains an overview of results on products of propositional modal logics and related constructions: semiproducts, Segerberg squares, and others. We focus mainly on axiomatizations, finite model property, and decidability; we also sketch connections with classical and modal predicate logics. In some cases we give ideas of proofs, especially of those using games. ...
Added: June 30, 2026
Springer, 2026.
This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph games – the sabotage game and the hide-and-seek game – to demonstrate the natural interplay between designing new graph games and exploring new kinds of ...
Added: June 30, 2026
Fedyanin D., , in: 17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II. Social Computing and Social Media. LNCS, volume 15787Vol. 2.: Switzerland: Springer, 2025. P. 247–256.
The paper proposes a formal model for describing opinions and higher-order opinions (e.g., opinions about opinions) using classical epistemic logic, such as the Kripke structure. Traditionally employed for analyzing knowledge and beliefs, this model is adapted to interpret opinions as beliefs, which is particularly promising for describing human-computer interaction due to its high level of formalization. The study is ...
Added: December 13, 2025
Fedyanin D., Switzerland: Springer, 2025.
The 17th International Conference on Social Computing and Social Media (SCSM 2025)
was an affiliated conference of the HCI International (HCII) conference. It provided an
established international forum for the exchange and dissemination of scientific information related to social computing and social media, addressing a broad spectrum of
issues expanding our understanding of current and future issues in ...
Added: December 3, 2025
[б.и.], 2024.
The book contains short papers presented at AiML 2024. ...
Added: August 15, 2024
College Publications, 2024.
Advances in Modal Logic (AiML) is an initiative founded in 1995 and aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. It consists of a conference series together with volumes based on the conferences. The conference series is the main international forum at which research ...
Added: August 14, 2024
Rybakov M., Shkatov D., Studia Logica 2025 Vol. 113 P. 1–48
In the early 1960s, to prove undecidability of monadic fragments of sublogics of the predicate modal logic QS5 that include the classical predicate logic QCl, Saul Kripke showed how a classical atomic formula with a binary predicate letter can be simulated by a monadic modal formula. We consider adaptations of Kripke's simulation, which we call the Kripke trick, to various modal ...
Added: December 2, 2023
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., Gladyshev M., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 20–23.
This abstract is based on recent work in [6]. We present a static (ELbc) and dynamic (DELbc) epistemic logic for budget-constrained agents. 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 question whether a propositional ...
Added: November 26, 2023
Rybakov M., Shkatov D., Journal of Logic and Computation 2025 Vol. 35 No. 2 Article exad078
We show that the monadic modal logic of a single Kripke frame with finitely many possible worlds, but possibly infinite domains, is decidable. This holds true even for monadic multimodal logics with equality, both if equality interpreted as identity and if equality interpreted as congruence. ...
Added: November 3, 2023
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
Shamkanov D. S., Logic Journal of the IGPL 2024 Vol. 32 No. 1 P. 164–179
For the modal logic S4CI, we identify the class of completable S4IC-algebras and prove for them a Stone-type representation theorem. As a consequence, we obtain strong algebraic and topological completeness of the logic S4CI in the case of local semantic consequence relations. In addition, we consider an extension of the logic S4CI with certain infinitary derivations and establish ...
Added: November 30, 2022
Kikot S., Kudinov A., Mathematics 2022 Vol. 10 No. 19 Article 3701
We axiomatize strictly positive fragments of modal logics with the confluence axiom. We consider unimodal logics such
as K.2, D.2, D4.2 and S4.2
with unimodal confluence $\Diamond\Box p \to \Box\Diamond p$
as well as the products of modal logics
in the set {K, D, T, D4, S4}, which contain bimodal confluence
$\Diamond_1\Box_2 p \to \Box_2\Diamond_1 p$.
We show that the impact ...
Added: October 10, 2022
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
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 PapersVol. 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
В.В. Долгоруков, Логические исследования 2022 Т. 28 № 1 С. 9–26
Implicit group knowledge (or distributive knowledge) is the sum of the knowledge in a group. In this paper, two approaches to group implicit knowledge are compared. According to the first approach, group implicit knowledge is defined as a logical consequence of individual agents’ knowledge sets. According to the second approach, group implicit knowledge is characterized ...
Added: May 16, 2022
Rybakov M., Shkatov D., Studia Logica 2021
Added: January 24, 2022
Шуман А. Н., Journal of Indian Philosophy 2021 Vol. 49 P. 467–498
There are two different modal logics: the logic T assuming contingency and the logic K = assuming logical determinism. In the paper, I show that the Aristotelian treatise On Interpretation (Περί ερμηνείας, De Interpretatione) has introduced some modal-logical relationships which correspond to T. In this logic, it is supposed that there are contingent events. The Nāgārjunian treatise Īśvara-kartṛtva-nirākṛtiḥ-viṣṇoḥ-ekakartṛtva-nirākaraṇa has introduced some modal-logical relationships which correspond ...
Added: July 21, 2021
Dolgorukov V., В кн.: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. С. 86–89.
The paper shows that the concept of distributive knowledge and the concept of implicit knowledge are equivalent in the class of finite distinguishable Kripke models. Some modifications of implicit knowledge are considered. It is demonstrated that these modifications are equivalent in the class of finite distinguishable Kripke models. ...
Added: June 28, 2021
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