Logic in Computer Science

Authors and titles for cs.LO in Nov 2018

[1]  arXiv:1811.00699 [pdf, other]

Title: Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints

Authors: Chong Gao, Taolue Chen, Zhilin Wu

Comments: 31 pages, 2 figures, SOFSEM 2019, to appear

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:1811.00756 [pdf, ps, other]

Title: On the Lazy Set object

Authors: Uri Abraham

Subjects: Logic in Computer Science (cs.LO)

[3]  arXiv:1811.01014 [pdf, ps, other]

Title: A Generalization of the Łoś-Tarski Preservation Theorem - Dissertation Summary

Authors: Abhisekh Sankaran

Comments: 26 pages, 2 tables

Subjects: Logic in Computer Science (cs.LO)

[4]  arXiv:1811.01070 [pdf, ps, other]

Title: Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing

Authors: Yong Wang

Comments: 141 pages, 23 figures, 57 tables. arXiv admin note: substantial text overlap with arXiv:1611.09035, arXiv:1610.02500, arXiv:1810.00868, arXiv:1311.2960, arXiv:1501.05260, arXiv:1404.0665, arXiv:1507.03344

Subjects: Logic in Computer Science (cs.LO)

[5]  arXiv:1811.01144 [pdf, ps, other]

Title: The IFF Approach to the Lattice of Theories

Authors: Robert E. Kent

Comments: April 30, 2003, The Information Flow Framework is reachable at this http URL, this http URL

Subjects: Logic in Computer Science (cs.LO)

[6]  arXiv:1811.01318 [pdf, ps, other]

Title: Syntax and Typing for Cedille Core

Authors: Aaron Stump

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[7]  arXiv:1811.01590 [pdf, ps, other]

Title: Putting the Agents back in the Domain: A Two-Sorted Term-Modal Logic

Authors: Andreas Achen

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Logic (math.LO)

[8]  arXiv:1811.01692 [pdf, ps, other]

Title: The External Interface for Extending WASP

Authors: Carmine Dodaro, Francesco Ricca

Comments: 22 pages, 1 figure, Under consideration in Theory and Practice of Logic Programming (TPLP)

Journal-ref: Theory and Practice of Logic Programming 20 (2020) 225-248

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[9]  arXiv:1811.01712 [pdf, ps, other]

Title: Domain and range for angelic and demonic compositions

Authors: Marcel Jackson, Szabolcs Mikulas

Journal-ref: Journal of Logical and Algebraic Methods in Programming 103 (2019) 62-78

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[10]  arXiv:1811.01942 [pdf, other]

Title: Operation Control Protocols in Power Distribution Grids

Authors: Yehia Abd Alrahman, Hugo Torres Vieira

Comments: 30 pages

Subjects: Logic in Computer Science (cs.LO)