Iterate logic

DOI10.1007/3-540-45504-3_12MaRDI QIDQ4436034zbMATH OpenFDO

Authors Peter H. Schmitt

Publication date 23 November 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2183/21830191.htm

zbMATH Keywords

OCLUML

Mathematics Subject Classification ID

Logic in computer science (03B70) Model theory of finite structures (03C13) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Fixed Point Logics
• Infinitary logic and inductive definability over finite structures
• scientific article; zbMATH DE number 4181311
• A short tutorial on order-invariant first-order logic
• Successor-invariant first-order logic on finite structures

Cited in

(1)

• More on looping vs. repeating in dynamic logic

This page was built for publication: Iterate logic

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