Logic in Computer Science

Authors and titles for November 2004

[1] arXiv:cs/0411008 [pdf, other]

Title: Intuitionistic computability logic

Giorgi Japaridze

Journal-ref: Acta Cybernetica 18 (2007), pp. 77-113

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

[2] arXiv:cs/0411029 [pdf, other]

Title: Modules and Logic Programming

Christophe Fouquere, Virgile Mogbil

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:cs/0411031 [pdf, other]

Title: Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers

Ian Pratt-Hartmann

Comments: 24 pages, 1 pstex_t figure

Journal-ref: Journal of Logic, Language and Information, 14(3), 2005, pp. 369--395

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:cs/0411032 [pdf, other]

Title: Logic Column 10: Specifying Confidentiality

Riccardo Pucella

Comments: 12 pages

Journal-ref: SIGACT News, 35(4), pp. 72-83, 2004

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:cs/0411094 [pdf, other]

Title: On the existence of truly autonomic computing systems and the link with quantum computing

Radhakrishnan Srinivasan, H. P. Raghunandan

Comments: 13 pages (two-column, single-spaced), 2 figures. Section 4 and Appendix B (with a figure in each) added. Improved explanations given for the NAFL model of (hyper-) computation (Sec. 6) and for the failure of relativistic locality in NAFL (Appendix B)

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO); Quantum Physics (quant-ph)

[6] arXiv:cs/0411097 [pdf, other]

Title: Deterministic Bayesian Logic

Frederic Dambreville (DGA/Cta/DT/Gip)

Comments: Fourth version. A sequent formalism is used

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

[7] arXiv:cs/0411100 [pdf, other]

Title: A Decidable Probability Logic for Timed Probabilistic Systems

Ruggero Lanotte (Dipartimento di Scienze della Cultura, Politiche e dell'Informazione), Daniele Beauquier (LACL, Dept. of Informatics)

Subjects: Logic in Computer Science (cs.LO)