Decidable navigation logics for object structures

DOI10.1007/3-540-44802-0_23MaRDI QIDQ4783316zbMATH OpenFDO

Authors Rogier M. van Eijk, Frank S. de Boer

Publication date 4 December 2002

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/2142/21420324, https://dspace.library.uu.nl/handle/1874/26361

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Institutions for navigational logics for graphical structures
• Foundations of Software Science and Computation Structures
• A logic of reachable patterns in linked data-structures
• Towards a navigational logic for graphical structures
• A decidable multi-modal logic of context

Cited in

(3)

• scientific article; zbMATH DE number 2044758 (Why is no real title available?)
• Institutions for navigational logics for graphical structures
• On the freeze quantifier in Constraint LTL: Decidability and complexity

This page was built for publication: Decidable navigation logics for object structures

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