Knowledge, Proof and Dynamics

File Size : 11,11 MB
Total View : 7836 Views
DOWNLOAD

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

File Size : 80,80 MB
Total View : 2092 Views
DOWNLOAD

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

File Size : 57,57 MB
Total View : 3669 Views
DOWNLOAD

Logic, Language, Information, and Computation

File Size : 80,80 MB
Total View : 9407 Views
DOWNLOAD

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

File Size : 5,5 MB
Total View : 8012 Views
DOWNLOAD

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