Modal Fixed Point Logics

DOI10.3233/978-1-60750-100-8-129zbMATH Open1214.03016OpenAlexW2404368132MaRDI QIDQ3060980

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

proof theorymodal \(\mu\)-calculuslogic of proofsinductive definitionsmulti-modal logics for belief, knowledge and common knowledge

Mathematics Subject Classification ID

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

Related Items (8)

Fixed points of formulas with double modalities ⋮ Zero-one laws for modal logic ⋮ Modal logics with functional alternative relations ⋮ Capturing equilibrium models in modal logic ⋮ Back and forth between guarded and modal logics ⋮ Modulated logics and flexible reasoning ⋮ Finite-Chain Graded Modal Logic ⋮ Title not available (Why is that?)

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)