Rustam Galimullin

Available identifiers

zbMath Open galimullin.rustamMaRDI QIDQ2148818

List of research outcomes

Publication	Date of Publication	Type
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard	2024-02-28	Paper
The Expressivity of Quantified Group Announcements	2024-02-08	Paper
Logic of visibility in social networks	2023-06-02	Paper
Model Checking for Coalition Announcement Logic	2023-03-24	Paper
Logics with group announcements and distributed knowledge: completeness and expressive power	2022-07-15	Paper
Dynamic coalition logic: granting and revoking dictatorial powers	2022-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q3384067	2021-12-14	Paper
Coalition and relativised group announcement logic	2021-10-25	Paper
Group announcement logic with distributed knowledge	2020-01-30	Paper
Public group announcements and trust in doxastic logic	2020-01-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rustam Galimullin