We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for recent submissions

[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]

Tue, 29 Dec 2020

[1]  arXiv:2012.14421 [pdf, ps, other]
Title: A circular version of Gödel's T and its abstraction complexity
Authors: Anupam Das
Comments: 68 pages, 9 figures
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[2]  arXiv:2012.14361 [pdf, other]
Title: Checking Entailment Between Separation Logic Symbolic Heaps: Beyond Connected and Established Systems
Authors: Mnacho Echenim, Radu Iosif, Nicolas Peltier
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2012.14195 [pdf, ps, other]
Title: The temporal logic of coalitional goal assignments in concurrent multi-player games
Authors: Sebastian Enqvist, Valentin Goranko
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
[4]  arXiv:2012.13925 [pdf, other]
Title: Certified Quantum Computation in Isabelle/HOL
Authors: Anthony Bordg, Hanna Lachnitt, Yijun He
Comments: J Autom Reasoning (2020)
Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[5]  arXiv:2012.13806 [pdf, other]
Title: Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers
Authors: Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)
[6]  arXiv:2012.13638 [pdf, ps, other]
Title: Standard Grammars for LTL and LDL (v0.1.0)
Authors: Marco Favorito
Comments: 11 pages
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[7]  arXiv:2012.14133 (cross-list from cs.PL) [pdf, ps, other]
Title: Verifying C11-Style Weak Memory Libraries
Authors: Sadegh Dalvandi, Brijesh Dongol
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[8]  arXiv:2012.14095 (cross-list from cs.CC) [pdf, other]
Title: Learning algorithms from circuit lower bounds
Authors: Ján Pich
Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Fri, 25 Dec 2020

[9]  arXiv:2012.13289 [pdf, other]
Title: Using Spatial Logic and Model Checking for Nevus Segmentation
Authors: Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
Subjects: Logic in Computer Science (cs.LO); Image and Video Processing (eess.IV); Neurons and Cognition (q-bio.NC)
[10]  arXiv:2012.13219 (cross-list from cs.AI) [pdf, ps, other]
Title: Towards a Formal Framework for Partial Compliance of Business Processes
Authors: Ho-Pun Lam, Mustafa Hashmi, Akhil Kumar
Comments: 15 page, 4 figures, 2 tables; Under consideration at AICOL 2020, co-located with Jurix
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[11]  arXiv:2012.13129 (cross-list from cs.PL) [pdf, ps, other]
Title: Rast: A Language for Resource-Aware Session Types
Authors: Ankush Das, Frank Pfenning
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[12]  arXiv:2012.12982 (cross-list from cs.AI) [pdf, ps, other]
Title: Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model
Authors: Gaia Belardinelli, Rasmus K. Rendsvig
Comments: 18 pages, 2 figures, proceedings of DaLi conference 2020
Journal-ref: Martins M.A., Sedl\'ar I. (eds) Dynamic Logic. New Trends and Applications. DaLi 2020. Lecture Notes in Computer Science, vol 12569, pp 33-50. Springer, Cham
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Theoretical Economics (econ.TH); Logic (math.LO)

Thu, 24 Dec 2020

[13]  arXiv:2012.12830 [pdf, ps, other]
Title: Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Authors: Miika Hannula, Jonni Virtema
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2012.12398 [pdf, ps, other]
Title: Model checking and model synthesisfrom partial models: a logic-based perspective
Authors: Valentin Goranko
Comments: 8 pages, 1 figure
Subjects: Logic in Computer Science (cs.LO)

Wed, 23 Dec 2020

[15]  arXiv:2012.12133 [pdf, ps, other]
Title: Finitely-valued propositional dynamic logic
Authors: Igor Sedlár
Journal-ref: In: Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu (Eds.), Advances in Modal Logic, Volume 13, pp. 561-579. College Publications, 2020
Subjects: Logic in Computer Science (cs.LO)

Tue, 22 Dec 2020

[16]  arXiv:2012.11220 [pdf, other]
Title: Incremental Verification of Fixed-Point Implementations of Neural Networks
Authors: Luiz Sena, Erickson Alves, Iury Bessa, Eddie Filho, Lucas Cordeiro
Comments: arXiv admin note: text overlap with arXiv:1907.12933
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[17]  arXiv:2012.10987 [pdf, other]
Title: Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge
Authors: Wayne M. Witzel, Warren D. Craft, Robert D. Carr, Joaquín E. Madrid Larrañaga
Comments: Updated the links to our pyproveit.org website. 38 pages, 12 figures
Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[18]  arXiv:2012.10869 [pdf, ps, other]
Title: Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions
Authors: Clemens Grabmayer
Comments: Extended-report version of article in EPTCS post-proceedings of the workshop TERMGRAPH 2020. 22 pages
Subjects: Logic in Computer Science (cs.LO)
[19]  arXiv:2012.10783 [pdf, other]
Title: Syntactic categories for dependent type theory: sketching and adequacy
Authors: Daniel Gratzer, Jonathan Sterling
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:2012.11245 (cross-list from cs.SE) [pdf, other]
Title: Bounded Model Checking of Software Using Interval Methods via Contractors
Authors: Mohannad Aldughaim, Kaled Alshmrany, Mohamed Mustafa, Lucas Cordeiro, Alexandru Stancu
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[21]  arXiv:2012.11223 (cross-list from cs.CR) [pdf, other]
Title: FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
Authors: Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro
Comments: 4 pages
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[22]  arXiv:2012.11067 (cross-list from cs.LG) [pdf, other]
Title: On Relating 'Why?' and 'Why Not?' Explanations
Authors: Alexey Ignatiev, Nina Narodytska, Nicholas Asher, Joao Marques-Silva
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[23]  arXiv:2012.10940 (cross-list from cs.AI) [pdf, ps, other]
Title: Lexicographic Logic: a Many-valued Logic for Preference Representation
Authors: Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[24]  arXiv:2012.10511 (cross-list from cs.CR) [pdf, ps, other]
Title: An Infrastructure for Faithful Execution of Remote Attestation Protocols
Authors: Adam Petz, Perry Alexander
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2012, contact, help  (Access key information)