scientific article; zbMATH DE number 3266582

zbMath0166.25202MaRDI QIDQ5551122

J. E. Clifford

Publication date: 1966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

general logic

Related Items (6)

Does “N+1 times” prove more programs correct than “N times”? ⋮ Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization ⋮ A completeness proof of Kiczuk's logic of physical change ⋮ Some calculus for a logic of change ⋮ A BRACKET POLYNOMIAL FOR GRAPHS, II: LINKS, EULER CIRCUITS AND MARKED GRAPHS ⋮ Where have all the Californian tense-logicians gone?

This page was built for publication: