scientific article; zbMATH DE number 7297823
From MaRDI portal
Publication:5144621
zbMath1457.68162MaRDI QIDQ5144621
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3330010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (11)
Unnamed Item ⋮ Unnamed Item ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps ⋮ Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs ⋮ Non-well-founded deduction for induction and coinduction ⋮ Unnamed Item ⋮ Integrating induction and coinduction via closure operators and proof cycles
This page was built for publication:
