Inferentialist Resource Semantics
In systems modelling, a 'system' typically comprises located resources relative to which processes execute. One important use of logic in informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one require...
Saved in:
| Published in: | Electronic Notes in Theoretical Informatics and Computer Science Vol. 4 - Proceedings of... |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
11.12.2024
|
| ISSN: | 2969-2431, 2969-2431 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!