We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO
< prev | next >
new | recent | 1907

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: From Hybrid Modal Logic to Matching Logic and Back

Authors: Ioana Leuştean, Natalia Moangă, Traian Florin Şerbănuţă
(Submitted on 11 Jul 2019 (v1), last revised 4 Sep 2019 (this version, v2))
Abstract: Building on our previous work on hybrid polyadic modal logic we identify modal logic equivalents for Matching Logic, a logic for program specification and verification. This provides a rigorous way to transfer results between the two approaches, which should benefit both systems.
Comments: In Proceedings FROM 2019, arXiv:1909.00584
Subjects: Logic in Computer Science (cs.LO)
Journal reference: EPTCS 303, 2019, pp. 16-31
DOI: 10.4204/EPTCS.303.2
Cite as: arXiv:1907.05029 [cs.LO]
  (or arXiv:1907.05029v2 [cs.LO] for this version)

Submission history

From: Natalia Moangă [view email] [via SELENA proxy]
[v1] Thu, 11 Jul 2019 07:34:10 GMT (26kb,D)
[v2] Wed, 4 Sep 2019 13:06:13 GMT (29kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.