The logic of identity and copy for computational artefacts-Reference-Cited by-同舟云学术

The logic of identity and copy for computational artefacts

Published:2018-03-26 Issue:6 Volume:28 Page:1293-1322
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

Angius Nicola¹,Primiero Giuseppe²

Affiliation:

1. Department of History, Human Sciences, and Education, University of Sassari, Italy

2. Department of Computer Science, Middlesex University, London, UK

Funder

University of Sassari

ANR-Agence Nationale de la Recherche

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

http://academic.oup.com/logcom/article-pdf/28/6/1293/25677660/exy012.pdf

Reference50 articles.

1. The existence of refinement mappings;Abadi;Theoretical Computer Science,1991

2. Many-one identity;Baxter;Philosophical Papers,1988

3. Artifact kinds, identity criteria, and logical adequacy;Carrara,2014

4. Identity criteria and sortal concepts;Carrara;Proceedings of the International Conference on Formal Ontology in Information Systems-Volume 2001,2001

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Pragmatic Theory of Computational Artefacts;Minds and Machines;2023-11-22

2. A logical framework to model software development by multiple agents following a common specification;Journal of Logic and Computation;2023-06-06

3. Copying safety and liveness properties of computational artefacts;Journal of Logic and Computation;2022-08-15

4. Computational Abstraction;Entropy;2021-02-10

5. Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions;Philosophy & Technology;2019-06-10