Modal logics of almost-sure validities in some classes of Euclidean and transitive frames

DOI10.2140/cnt.2025.14.49MaRDI QIDQ6671401

Vladislav Sliusarev

Publication date: 27 January 2025

Published in: Combinatorics and Number Theory (Search for Journal in Brave)

zbMATH Keywords

modal logicrandom graphsKripke semanticsasymptotic probabilityGrzegorczyk's logicEuclidean relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Modal logics of almost-sure validities in some classes of Euclidean and transitive frames