Search Results


Related Books

Knowledge, Proof and Dynamics
Language: en
Pages: 219
Authors: Fenrong Liu
Categories: Philosophy
Type: BOOK - Published: 2020-03-23 - Publisher: Springer Nature

DOWNLOAD EBOOK

This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wi
Logical Dynamics of Information and Interaction
Language: en
Pages: 387
Authors: Johan van Benthem
Categories: Mathematics
Type: BOOK - Published: 2011-09-29 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation a
Interaction in Zero-knowledge Proof Systems
Language: en
Pages: 276
Authors: Giuseppe Persiano
Categories: Proof theory
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Logic, Language, Information, and Computation
Language: en
Pages: 435
Authors: Alexandra Silva
Categories: Philosophy
Type: BOOK - Published: 2021-10-05 - Publisher: Springer Nature

DOWNLOAD EBOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Lo
Monotonicity in Logic and Language
Language: en
Pages: 249
Authors: Dun Deng
Categories: Computers
Type: BOOK - Published: 2020-12-16 - Publisher: Springer Nature

DOWNLOAD EBOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdiscipl
Scroll to top