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

Logic in Computer Science

Authors and titles for cs.LO in Apr 2014, skipping first 90

[ total of 98 entries: 1-10 | ... | 61-70 | 71-80 | 81-90 | 91-98 ]
[ showing 10 entries per page: fewer | more | all ]
[91]  arXiv:1404.7205 (cross-list from cs.AI) [pdf, ps, other]
Title: Generalizing Modular Logic Programs
Comments: Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[92]  arXiv:1404.7541 (cross-list from cs.AI) [pdf, other]
Title: An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence
Comments: In: Proceedings of 15th International Workshop on Non-Monotonic Reasoning
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[93]  arXiv:1404.0816 (cross-list from math.LO) [pdf, ps, other]
Title: On Pocrims and Hoops
Comments: 37 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[94]  arXiv:1404.3780 (cross-list from math.CT) [pdf, ps, other]
Title: Towards a good notion of categories of logics
Comments: 16 pages
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[95]  arXiv:1404.3782 (cross-list from math.LO) [pdf, ps, other]
Title: A quantitative approach to semantic informativity
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[96]  arXiv:1404.4004 (cross-list from math.LO) [pdf, ps, other]
Title: One-dimensional fragment of first-order logic
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[97]  arXiv:1404.4599 (cross-list from math.CO) [pdf, ps, other]
Title: Finite Groupoids, Finite Coverings and Symmetries in Finite Structures
Authors: Martin Otto
Comments: This paper extends and supersedes earlier expositions in LICS 2013 and arXiv:1211.5656. Version (v2) of this paper fixes a false claim in Lemma 2.9 of the original version. Version (v4) eliminates confusion around "covering of A" vs "realisation of H(A)" (Definition 3.14 and adaptation of Lemma 3.16) and corrects a mistake in the "excursion" on Herwig's thm in section 4.4
Subjects: Combinatorics (math.CO); Logic in Computer Science (cs.LO); Logic (math.LO)
[98]  arXiv:1404.7401 (cross-list from math.LO) [pdf, other]
Title: Residuated Basic Logic II. Interpolation, Decidability and Embedding
Authors: Minghui Ma, Zhe Lin
Comments: 17 pages with 1 figure
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[ total of 98 entries: 1-10 | ... | 61-70 | 71-80 | 81-90 | 91-98 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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