Inflationary fixed points in modal logic

DOI10.1145/976706.976710MaRDI QIDQ5277697zbMATH OpenOpenAlexWikidataFDO

Authors Anuj Dawar, Erich Grädel, Stephan Kreutzer

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

complexitydecidabilitymodal logicexpressive powerfixed-point logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1841826
• Modal fixed point logics
• Definable fixed points in modal and temporal logics -- a survey
• Fixed-point extensions of first-order logic
• Logic for Programming, Artificial Intelligence, and Reasoning

Cited in

(10)

• Generalising automaticity to modal properties of finite structures
• Logic and Game Theory
• scientific article; zbMATH DE number 1841826 (Why is no real title available?)
• ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"
• Backtracking games and inflationary fixed points
• A type-directed negation elimination
• RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES
• The mu-calculus and Model Checking
• Logic for Programming, Artificial Intelligence, and Reasoning
• Modal fixed point logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5277697)