Logic in Computer Science

Authors and titles for October 2019

[1] arXiv:1910.00635 [pdf, other]

Title: Extraction of Efficient Programs in $IΣ_1$-arithmetic

Ján Komara, Paul J. Voda

Comments: 16 pages; reprint of the technical report from July, 2000

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

[2] arXiv:1910.00905 [pdf, other]

Title: Compositional Non-Interference for Fine-Grained Concurrent Programs

Dan Frumin, Robbert Krebbers, Lars Birkedal

Comments: New example in Section 2 has been added. A simpler security condition is now used in Section 3. Major editing in Sections 1, 2, and 7

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

[3] arXiv:1910.00907 [pdf, other]

Title: Complete Intuitionistic Temporal Logics in Topological Dynamics

Joseph Boudou, Martín Diéguez, David Fernández-Duque

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1910.01100 [pdf, other]

Title: Optimistic Value Iteration

Arnd Hartmanns, Benjamin Lucien Kaminski

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[5] arXiv:1910.01181 [pdf, other]

Title: Improving Reasoning on DQBF

Ankit Shukla

Comments: FMCAD'19 Student Forum

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1910.01697 [pdf, other]

Title: A Henkin-style completeness proof for the modal logic S5

Bruno Bentzen

Journal-ref: Logic and Argumentation: Fourth International Conference, CLAR 2021, Hangzhou, China, October 20--22. P. Baroni, C. Benzm\"uller, Y. N. W\'ang (Eds.), pp. 459--467, 2021

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:1910.01775 [pdf, other]

Title: Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers

Paul Tarau

Comments: 32 pages

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1910.02145 [pdf, other]

Title: Types for Parallel Complexity in the Pi-calculus

Patrick Baillot, Alexis Ghyselen

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Computation and Language (cs.CL)

[9] arXiv:1910.02446 [pdf, other]

Title: Modal Logic via Global Consequence

Xuefeng Wen

Comments: NCML 2019 Paper

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

[10] arXiv:1910.02453 [pdf, other]

Title: A Short Remark on Analogical Reasoning

Karl Schlechta

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

[11] arXiv:1910.02521 [pdf, other]

Title: Representing Dependencies in Event Structures

G. Michele Pinna

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 2 (May 13, 2020) lmcs:5816

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:1910.02732 [pdf, other]

Title: Revisiting the duality of computation: an algebraic analysis of classical realizability models

Étienne Miquey (GALLINETTE, LS2N)

Comments: CSL 2020, Jan 2020, Barcelone, Spain

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1910.03217 [pdf, other]

Title: Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic

Martin Lester

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:1910.03917 [pdf, other]

Title: Clause Set Cycles and Induction

Stefan Hetzl, Jannik Vierling

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (November 30, 2020) lmcs:5832

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

[15] arXiv:1910.04010 [pdf, other]

Title: A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions

Diego Agustín Ambrossio, Marcos Cramer

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)

[16] arXiv:1910.04216 [pdf, other]

Title: Revisiting MITL to Fix Decision Procedures

Nima Roohi, Mahesh Viswanathan

Comments: Presented at the 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'18)

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1910.04266 [pdf, other]

Title: Reversing Place Transition Nets

Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (October 16, 2020) lmcs:5831

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[18] arXiv:1910.04643 [pdf, other]

Title: Reflections on "Incremental Cardinality Constraints for MaxSAT"

Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce

Comments: 10 pages, 1 algorithm, 1 table, 4 figures, article invited as part of "Virtual Volume" for 25th anniversary of CP

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

[19] arXiv:1910.04891 [pdf, other]

Title: Implementing evaluation strategies for continuous real functions

Michal Konečný, Eike Neumann

Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)

[20] arXiv:1910.04948 [pdf, other]

Title: Constructive Domains with Classical Witnesses

Dirk Pattinson, Mina Mohammadian

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 1 (March 2, 2021) lmcs:5833

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1910.05016 [pdf, other]

Title: Internal Calculi for Separation Logics

Stéphane Demri, Etienne Lozes, Alessio Mansutti

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1910.05208 [pdf, other]

Title: Parametric Systems: Verification and Synthesis

Viorica Sofronie-Stokkermans

Comments: 39 pages

Subjects: Logic in Computer Science (cs.LO)

[23] arXiv:1910.05215 [pdf, other]

Title: Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents

Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston

Comments: Appended version of the paper "Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents", accepted to the 28th International Conference on Computer Science Logic (CSL 2020)

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

[24] arXiv:1910.05558 [pdf, other]

Title: Minimal Assumptions Refinement for GR(1) Specifications

Davide G. Cavezza, Dalal Alrajeh, Andras Gyorgy

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[25] arXiv:1910.06004 [pdf, other]

Title: Dynamic Complexity of Parity Exists Queries

Nils Vortmeier, Thomas Zeume

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 4 (November 16, 2021) lmcs:6639

Subjects: Logic in Computer Science (cs.LO)