Search results: Found 27

Listing 1 - 10 of 27 << page
of 3
>>
Sort by
Nuel Belnap on Indeterminism and Free Action

Author:
Book Series: Outstanding Contributions to Logic ISBN: 9783319017532 9783319017549 Year: Volume: 2 Pages: 411 DOI: 10.1007/978-3-319-01754-9 Language: English
Publisher: Springer Nature Grant: FP7 Ideas: European Research Council - 263227
Subject: Science (General)
Added to DOAB on : 2014-04-15 16:05:22
License:

Loading...
Export citation

Choose an application

Abstract

In this introduction to the Outstanding contributions to logic volume devoted to Nuel Belnap’s work on indeterminism and free action, we provide a&#xD;brief overview of some of the formal frameworks and methods involved in Belnap’s&#xD;work on these topics: theories of branching histories, specifically “branching&#xD;time” and “branching space-times”, the stit (“seeing to it that”) logic of agency, and&#xD;case-intensional first order logic. We also draw some connections to the contributions&#xD;included in this volume. Abstracts of these contributions are included as an&#xD;appendix.&#xD;Nuel Belnap’s work in logic and in philosophy spans a period of over half a century.&#xD;During this time, he has followed a number of different research lines, most of them&#xD;over a period of many years or decades, and often in close collaboration with other&#xD;researchers:1 relevance logic, a long term project starting from a collaboration with&#xD;Alan Anderson dating back to the late 1950s and continued with Robert Meyer&#xD;and Michael Dunn into the 1990s; the logic of questions, developed with Thomas&#xD;Steel in the 1960s and 1970s; display logic in the 1980s and 1990s; the revision&#xD;theory of truth, with Anil Gupta, in the 1990s; and a long-term, continuing interest&#xD;in indeterminism and free action. This book is devoted to Belnap’s work on the latter&#xD;two topics. In this introduction, we provide a brief overview of some of the formal&#xD;frameworks and methods involved in thatwork, and we drawsome connections to the&#xD;contributions included in this volume. Abstracts of these contributions are presented&#xD;in Appendix A.

Keywords

logic

Advances in Proof-Theoretic Semantics

Authors: ---
Book Series: Trends in Logic ISSN: 15726126 ISBN: 9783319226859 9783319226866 Year: Volume: 43 Pages: 283 DOI: 10.1007/978-3-319-22686-6 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Statistics --- Philosophy
Added to DOAB on : 2016-06-08 18:00:12
License:

Loading...
Export citation

Choose an application

Abstract

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030174651 Year: Pages: 413 DOI: 10.1007/978-3-030-17465-1 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030255435 Year: Pages: 549 DOI: 10.1007/978-3-030-25543-5 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783319961453 Year: Pages: 703 DOI: 10.1007/978-3-319-96145-3 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:09
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783319961422 Year: Pages: 545 DOI: 10.1007/978-3-319-96142-2 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:09
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: --- --- ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030175023 Year: Pages: 258 DOI: 10.1007/978-3-030-17502-3 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030174620 Year: Pages: 433 DOI: 10.1007/978-3-030-17462-0 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

Variant Construction from Theoretical Foundation to Applications

Author:
ISBN: 9789811322822 Year: Pages: 409 DOI: 10.1007/978-981-13-2282-2 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Agriculture (General) --- Computer Science
Added to DOAB on : 2020-02-04 11:21:24
License:

Loading...
Export citation

Choose an application

Abstract

This open access book presents theoretical framework and sample applications of variant construction. The first part includes the components variant logic, variant measurements, and variant maps, while the second part covers sample applications such as variation with functions, variant stream ciphers, quantum interference, classical/quantum random sequences, whole DNA sequences, and multiple-valued pulse sequences. Addressing topics ranging from logic and measuring foundation to typical applications and including various illustrated maps, it is a valuable guide for theoretical researchers in discrete mathematics; computing-, quantum- and communication scientists; big data engineers; as well as graduate and upper undergraduate students.

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

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISSN: 0302-9743 ISBN: 9783319893655 9783319893662 Year: Pages: 583 DOI: https://doi.org/10.1007/978-3-319-89366-2 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-26 16:52:58
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

Listing 1 - 10 of 27 << page
of 3
>>
Sort by
Narrow your search

Publisher

Springer Nature (27)


License

CC by (25)

CC by-nc (2)


Language

english (27)


Year
From To Submit

2021 (1)

2020 (8)

2019 (8)

2018 (8)

2016 (1)

2014 (1)