Modal fixed point logics

DOI10.3233/978-1-60750-100-8-129MaRDI QIDQ3060980zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger

Publication date 13 December 2010

Full work available at URL http://dx.doi.org/10.3233/978-1-60750-100-8-129

zbMATH Keywords

inductive definitionslogic of proofsmodal \(\mu\)-calculusmulti-modal logics for belief, knowledge and common knowledgeproof theory

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• scientific article; zbMATH DE number 1309464
• Inflationary fixed points in modal logic
• Fixed points of formulas with double modalities
• Axiomatizing fixpoint logics
• scientific article; zbMATH DE number 1841826

Cited in

(21)

• Modal logics with functional alternative relations
• Axiomatizing fixpoint logics
• Zero-one laws for modal logic
• Modal frame correspondences and fixed-points
• Capturing equilibrium models in modal logic
• Fixed points of formulas with double modalities
• Completeness for Flat Modal Fixpoint Logics
• Modulated logics and flexible reasoning
• scientific article; zbMATH DE number 1309464 (Why is no real title available?)
• scientific article; zbMATH DE number 2053218 (Why is no real title available?)
• scientific article; zbMATH DE number 6841178 (Why is no real title available?)
• Flat modal fixpoint logics with the converse modality
• Oscillations, logic, and dynamical systems
• scientific article; zbMATH DE number 1841826 (Why is no real title available?)
• Finite-Chain Graded Modal Logic
• Constructive modalities with provability smack
• Inflationary fixed points in modal logic
• Modal Fixed-Point Logic and Changing Models
• Logic for Programming, Artificial Intelligence, and Reasoning
• Back and forth between guarded and modal logics
• Complexity through translations for modal logic with recursion

This page was built for publication: Modal fixed point logics

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