Inflationary fixed points in modal logic

DOI10.1145/976706.976710zbMath1407.03031OpenAlexW2045916861WikidataQ58215691 ScholiaQ58215691MaRDI QIDQ5277697

Erich Grädel, Stephan Kreutzer, Anuj Dawar

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/976706.976710

zbMATH Keywords

complexitymodal logicdecidabilityexpressive powerfixed-point logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (7)

Generalising automaticity to modal properties of finite structures ⋮ RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES ⋮ The mu-calculus and Model Checking ⋮ ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES" ⋮ Unnamed Item ⋮ Logic and Game Theory ⋮ Backtracking games and inflationary fixed points

This page was built for publication: Inflationary fixed points in modal logic