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

complexitydecidabilityexpressive powerfixed-point logicsmodal logic

Mathematics Subject Classification ID

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

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

(12)

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

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)