Axiomatizing fixpoint logics

DOI10.1016/0020-0190(92)90175-UMaRDI QIDQ1190508zbMATH OpenOpenAlexFDO

Authors Andrzej Szałas

Publication date 26 September 1992

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(92)90175-u

zbMATH Keywords

fixpoint equationsmultimodal logicsfixpoint logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Modal fixed point logics
• Completeness for flat modal fixpoint logics
• Fixed-point logics and computation
• scientific article; zbMATH DE number 871235
• Sahlqvist theorem for modal fixed point logic

Cites work

• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• scientific article; zbMATH DE number 4057487 (Why is no real title available?)
• scientific article; zbMATH DE number 3637823 (Why is no real title available?)
• scientific article; zbMATH DE number 3799616 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A complete axiomatic characterization of first-order temporal logic of linear time
• A complete logic for reasoning about programs via nonstandard model theory. II
• Arithmetical axiomatization of first-order temporal logic
• Axiomatising the logic of computer programming
• First-order dynamic logic
• On strictly arithmetical completeness in logics of programs
• Soundness and Completeness of an Axiom System for Program Verification

Cited in

(12)

• scientific article; zbMATH DE number 2059955 (Why is no real title available?)
• scientific article; zbMATH DE number 1795986 (Why is no real title available?)
• Characters and fixed points in provability logic
• Modal fixed point logics
• Fixed-point extensions of first-order logic
• scientific article; zbMATH DE number 4191139 (Why is no real title available?)
• FOIL axiomatized
• Optimal axiomatizations of finitely valued logics
• A Step Up in Expressiveness of Decidable Fixpoint Logics
• Evidence for Fixpoint Logic
• Axiomatization of a Denotational Semantics for First-order Logic
• A Fixpoint Semantics for Ordered Logic

This page was built for publication: Axiomatizing fixpoint logics

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