Evidence for Fixpoint Logic

DOI10.4230/LIPICS.CSL.2015.78MaRDI QIDQ5351951zbMATH OpenOpenAlexFDO

Authors Sjoerd Cranen, Bas Luttik, T. A. C. Willemse

Publication date 31 August 2017

Full work available at URL https://dblp.uni-trier.de/db/conf/csl/csl2015.html#CranenLW15

zbMATH Keywords

model checkingcounterexamplediagnosticsfixpoint logicACTL*stuttering bisimilarity

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• Fixed Point Logics
• Fixed points in propositional nonmonotonic logic
• A logic of fixpoint definitions
• Logical definability of fixed points
• Axiomatizing fixpoint logics
• A logical analysis of fixpoint theorems
• A logic for reasoning about evidence
• AI 2005: Advances in Artificial Intelligence
• The equational logic of fixed points
• Fixed point theorems in logic programming

Cited in

(4)

• Off-the-shelf automated analysis of liveness properties for just paths (extended abstract)
• Off-the-shelf automated analysis of liveness properties for just paths
• scientific article; zbMATH DE number 7269247 (Why is no real title available?)
• Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence

This page was built for publication: Evidence for Fixpoint Logic

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