Inflationary fixed points in modal logic

DOI10.1145/976706.976710zbMATH Open1407.03031OpenAlexW2045916861WikidataQ58215691 ScholiaQ58215691MaRDI QIDQ5277697FDOQ5277697

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

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

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)

Cited In (10)

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

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)