scientific article; zbMATH DE number 7713505

zbMath1515.03145arXiv2303.09948MaRDI QIDQ6171324

Daniel Rogozin, Ilya B. Shapirovsky

Publication date: 18 July 2023

Full work available at URL: https://arxiv.org/abs/2303.09948

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilityfinite model propertyfusion of modal logicsdefinable filtrationpropositional dynamic logic with converse

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

This page was built for publication: