Inflationary fixed points in modal logic
From MaRDI portal
Publication:5277697
DOI10.1145/976706.976710zbMath1407.03031WikidataQ58215691 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
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03D15: Complexity of computation (including implicit computational complexity)
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
Related Items
Unnamed Item, Logic and Game Theory, RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES, Backtracking games and inflationary fixed points, Generalising automaticity to modal properties of finite structures, The mu-calculus and Model Checking, ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"