# Logic in computer science

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- 2015

Linear logic has many properties that make it suitable for application in various areas of computer science. It is able to… (More)

Is this relevant?

2012

2012

- Lecture Notes in Computer Science
- 2012

The formal definition of causality raises non trivial issues in the case of several agents acting together. Several action… (More)

Is this relevant?

2008

2008

- 2008

The first € price and the £ and $ price are net prices, subject to local VAT. Prices indicated with * include VAT for books; the… (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- Journal of Logic, Language and Information
- 2007

mathematical logic for computer science 2nd edition PDF logic in computer science solution manual PDF logic in computer science… (More)

Is this relevant?

2004

2004

- Lecture Notes in Computer Science
- 2004

Throughout its history, deontic logic had to face the question whether it is a logic of descriptions or a logic of prescriptions… (More)

Is this relevant?

1993

1993

- Theory and Formal Methods
- 1993

We present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and… (More)

Is this relevant?

Highly Cited

1993

1988

1988

- Bulletin of the EATCS
- 1988

The thesis is that every sequential algorithm, on any level of abstraction, can be viewed as a sequential abstract state machine… (More)

Is this relevant?

1987

1987

- Acta Informatica
- 1987

In “A Logic Covering Undefinedness in Program Proofs” [1], Barringer, Cheng and Jones present a 3-valued logic designed for… (More)

Is this relevant?

Highly Cited

1981

Highly Cited

1981

- SIGP
- 1981

The rules of deduction which are usually used for many-sorted equational logic in computer science, for example in the study of… (More)

Is this relevant?