Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Logics of Communication and Knowledge [PhD Thesis]

Main
Mathematics - Logic
Logics of Communication and Knowledge...

Logics of Communication and Knowledge [PhD Thesis]

Floor Anna Gineke Sietsma

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Mathematics - Logic

Տարի:

2012

Հրատարակչություն:

University of Amsterdam

Լեզու:

english

Էջեր:

215

ISBN 10:

9461915039

ISBN 13:

9789461915030

Սերիաներ:

ILLC Dissertation Series DS-2012-11

Ֆայլ:

PDF, 1.04 MB

IPFS:

,

english, 2012

Կարդալ Առցանց

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

Wesley H. Holliday — Knowing What Follows: Epistemic Closure and Epistemic Logic [PhD Thesis]

Ferreiros J. — The Road to Modern Logic. An Interpretation

权延赤 — 中国最大的保皇派陶铸沉浮录权延赤文集

Johan van Benthem — Logical Dynamics of Information and Interaction

Darko Sarenac — Products of Topological Modal Logics [PhD Thesis]

Barteld Kooi — Knowledge, chance, and change [PhD Thesis]

Benthem, J. F. A. K. van, Löwe, Benedikt., Gabbay, Dov M. — Interactive Logic, Selected Papers from the 7th Augustus de Morgan Workshop

Bonanno, Giacomo., Hoek, W. van der, Wooldridge, Michael J. — Logic and the Foundations of Game and Decision Theory (LOFT 7)

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib (auth.), Xiangdong He, John Horty, Eric Pacuit (eds.) — Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

Johan van Benthem — Logic in Games

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi — Reasoning About Knowledge

Ronald Fagin & Yoram Moses & Joseph Y Halpern & Moshe Y Vardi — Reasoning About Knowledge

Dov M. Gabbay, John Woods — Handbook of the history of logic: Logic and the Modalities in the Twentieth Century

J.-J. Ch. Meyer, W. van der Hoek — Epistemic Logic for AI and Computer Science

Joseph Y. Halpern — Theoretical Aspects of Reasoning About Knowledge. Proceedings of the 1986 Conference

V. F. Hendricks, K. F. Jørgensen, S. A. Pedersen (auth.), Vincent F. Hendricks, Klaus Frovin Jørgensen, Stig Andur Pedersen (eds.) — Knowledge Contributors

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi — Dynamic Epistemic Logic

Ronald Fagin — Theoretical Aspects of Reasoning About Knowledge. Proceedings of the Fifth Conference (TARK 1994)

Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi (eds.) — Handbook of Epistemic Logic

Alexandru Baltag, Sonja Smets (eds.) — Johan Van Benthem on Logic and Information Dynamics

Ditmarsch, Hans van; Hintikka, Jaakko; Sandu, Gabriel (eds.) — Jaakko Hintikka on knowledge and game-theoretical semantics

Hans van Ditmarsch, Gabriel Sandu — Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

Alexandre Madeira,Mário Benevides (eds.) — Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

Dietmar Berwanger (auth.), Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek (eds.) — Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney (auth.), João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (eds.) — Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

Rohit Parikh, Marc Pauly (auth.), Jan van Eijck, Rineke Verbrugge (eds.) — Games, Actions and Social Software: Multidisciplinary Aspects

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang (eds.) — Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28–31, 2015, Proceedings

Johan van Benthem, Benedikt Lowe, Dov M. Gabbay — Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Giacomo Bonanno, Wiebe van der Hoek, Michael Wooldridge — Logic and the foundations of game and decision theory (LOFT 7)

Benthem, Johan van; Gabbay, Dov. M.; Löwe, Benedikt (eds.) — Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Andreas Witzel — Knowledge and Games. Theory and Implementation [PhD Thesis]

Cedric Degremont — The Temporal Mind: Observations on the logic of belief change in interactive systems [PhD Thesis]

Yanjing Wang — Epistemic Modelling and Protocol Dynamics [PhD Thesis]

Lena Kurzen — Complexity in Interaction [PhD Thesis]

Bonanno G., VanDerHoek W., Wooldridge M. — Logic and the Foundations of Game and Decision Theory (LOFT 7)

Wiebe van der Hoek — Modalities for Reasoning about Knowledge and Quantities [PhD Thesis]

Patrick Girard, Mathieu Marion, Olivier Roy (auth.), Patrick Girard, Olivier Roy, Mathieu Marion (eds.) — Dynamic Formal Epistemology

Հիմնական արտահայտություններ