寄付 2024年9月15日 – 2024年10月1日募金について

Dynamic Epistemic Logic. Synthese Library, Volume 337

Main
Computers - Computer Science
Dynamic Epistemic Logic. Synthese...

Dynamic Epistemic Logic. Synthese Library, Volume 337

Hoek, Wiebe van der, Kooi, Barteld, Van der Hoek, Wiebe, Van Ditmarsch, Hans

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

カテゴリー:

Computers - Computer Science

年:

2008

出版社:

Springer

言語:

english

ページ:

303

ISBN 10:

1402069081

ISBN 13:

9781402069086

シリーズ:

Synthese library 337

ファイル:

PDF, 1.77 MB

IPFS:

,

english, 2008

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Rautenberg, Wolfgang — A Concise Introduction to Mathematical Log

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

Wolfgang Rautenberg — A Concise Introduction To Mathematical Logic

Wolfgang Rautenberg [Rautenberg, Wolfgang] — A Concise Introduction to Mathematical Logic

S. M. Srivastava — A Course on Mathematical Logic

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

Robert Goldblatt — Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics

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

Walter Carnielli, Claudio Pizzi — Modalities and Multimodalities

David Makinson, Jacek Malinowski, Heinrich Wansing (eds.) — Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV

Rautenberg, Wolfgang — A Concise Introduction to Mathematical Logic

Wolfgang Rautenberg — A Concise Introduction to Mathematical Logic

Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Francesco Calimeri, Nicola Leone, Marco Manna — Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Ruy J. G. B. de Queiroz (editor); Alexandra Martins da Silva (editor); Renata Wassermann (editor) — Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

Sergei Artemov,Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

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

Sašo Džeroski (auth.), Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.) — Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings

V. Michele Abrusci (auth.), Marta Cialdea Mayer, Fiora Pirri (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Arnon Avron, Anna Zamansky (auth.), Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (eds.) — Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

Sergei Artemov (auth.), Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.) — Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Ying Daniel, Linköpings universitet. Matematiska institutionen — On the moduli space of cyclic trigonal Riemann surfaces of genus 4

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

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.) — Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

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

Clark Barrett, Stéphane Demri, Morgan Deters (auth.), Didier Galmiche, Dominique Larchey-Wendling (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge (auth.), Davide Grossi, Olivier Roy, Huaxin Huang (eds.) — Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 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

Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.) — Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Patrick Blackburn, Emiliano Lorini, Meiyun Guo — Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Beishui Liao, Yì N. Wáng — Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic

主要なフレーズ