表紙画像

Nuel Belnap on Indeterminism and Free Action

他のバージョン（2件）を表示する

In this introduction to the Outstanding contributions to logic volume devoted to Nuel Belnap's work on indeterminism and free action, we provide a brief overview of some of the formal frameworks and methods involved in Belnap's work on these topics: theories of branching histories, specifi...

保存先:

書誌詳細
その他の著者:	Müller, Thomas (編集者)
フォーマット:	電子媒体図書の章
言語:	英語
出版事項:	Springer Nature 2014
主題:	Science: general issues logic British Summer Time If and only if Indeterminism Modal logic Nuel Belnap Semantics
オンライン･アクセス:	DOAB: download the publication DOAB: description of the publication
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Nuel Belnap on Indeterminism and Free Action
出版事項: (2014)

Nuel Belnap on Indeterminism and Free Action
出版事項: (2014)

The Indeterminate Sentence: What Shall Be Done with the Criminal Class?
著者:: Warner, Charles Dudley, 1829-1900

Sémantique formelle: Volume 1 Introduction à la grammaire de Montague
著者:: Roussarie, Laurent
出版事項: (2017)

Sémantique formelle: Volume 1 Introduction à la grammaire de Montague
著者:: Roussarie, Laurent
出版事項: (2017)

Inquisitive Logic Consequence and Inference in the Realm of Questions
著者:: Ciardelli, Ivano
出版事項: (2022)

Inquisitive Logic Consequence and Inference in the Realm of Questions
著者:: Ciardelli, Ivano
出版事項: (2022)

The Many and the One A Philosophical Study of Plural Logic
著者:: Florio, Salvatore
出版事項: (2021)

The Many and the One A Philosophical Study of Plural Logic
著者:: Florio, Salvatore
出版事項: (2021)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
著者:: Ugo Dal Lago
出版事項: (2018)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
出版事項: (2018)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
出版事項: (2018)

The Logical Writings of Karl Popper
出版事項: (2022)

The Logical Writings of Karl Popper
出版事項: (2022)

Inquisitive Semantics
著者:: Ciardelli, Ivano
出版事項: (2018)

Inquisitive Semantics
著者:: Ciardelli, Ivano
出版事項: (2018)

Topics of Thought The Logic of Knowledge, Belief, Imagination
著者:: Berto, Francesco
出版事項: (2022)

Topics of Thought The Logic of Knowledge, Belief, Imagination
著者:: Berto, Francesco
出版事項: (2022)

Chapter Ruth Barcan Marcus on Believing Without a Language
著者:: Proust, Joëlle
出版事項: (2015)

Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus
出版事項: (2015)

Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus
出版事項: (2015)

Mathematical Aspects of Logic Programming Semantics
著者:: Hitzler, Pascal
出版事項: (2010)

Inquisitive Logic Consequence and Inference in the Realm of Questions /
著者:: Ciardelli, Ivano
出版事項: (2022)

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
出版事項: (2021)

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
出版事項: (2021)

Deductive Systems in Traditional and Modern Logic
出版事項: (2020)

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II /
出版事項: (2019)

The Logical Writings of Karl Popper
出版事項: (2022)

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
出版事項: (2022)

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
出版事項: (2022)

Advances in Proof-Theoretic Semantics
出版事項: (2016)

Advances in Proof-Theoretic Semantics
出版事項: (2016)

Concepts in Action Representation, Learning, and Application /
出版事項: (2021)

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
出版事項: (2023)

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
出版事項: (2023)

Advances in Proof-Theoretic Semantics
出版事項: (2016)

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
出版事項: (2020)

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
出版事項: (2020)

Modes of Truth The Unified Approach to Truth, Modality, and Paradox
出版事項: (2021)

Modes of Truth The Unified Approach to Truth, Modality, and Paradox
出版事項: (2021)