Name: Advances in Modal Logic 14 (en Inglés)
Price: 23.58 USD
Availability: InStock
Author: Fernández Duque, David ; Palmigiano, Alessandra ; Pinchinat, Sophie
ISBN: 9781848904132

portada Advances in Modal Logic 14 (en Inglés)

Formato

Libro Físico

Ilustrado por

David Fernández Duque

Alessandra Palmigiano

Sophie Pinchinat

Editorial

College Publications

Autor

Fernández Duque, David ; Palmigiano, Alessandra ; Pinchinat, Sophie

Idioma

Inglés

N° páginas

754

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 3.8 cm

Peso

1.04 kg.

ISBN13

9781848904132

Categorías

Lógica matemática
Lógica

Advances in Modal Logic 14 (en Inglés)

David Fernández Duque (Ilustrado por) · Alessandra Palmigiano (Ilustrado por) · Sophie Pinchinat (Ilustrado por) · College Publications · Tapa Blanda

Libro Físico

$ 23.58

$ 28.00

Ahorras: $ 4.42

16% descuento

Envío Express Gratis

Se enviará desde nuestra bodega entre el Lunes 29 de Abril y el Martes 30 de Abril.

Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Advances in Modal Logic 14 (en Inglés)"

Ever since antiquity, philosophers have recognized that truth comes in many "modes", so that a proposition may not only be true or false, but also e.g. "necessary" or "possible". These ideas led to the modern field of modal logic, a lively are of research at the intersection of philosophy, mathematics, and computer science. Nowadays, the term "modal logic" is understood in a broad sense, which allows it to be used for reasoning about seemingly unrelated phenomena such as knowledge, obligations, time, space, and proofs, among many others. Actual research in modal logic draws on techniques from many disciplines including complexity theory, combinatorics, universal algebra, category theory, topology, and proof theory. These proceedings record the papers presented at the 2022 Advances in Modal Logic, a biennial conference series with an aim to report on important new developments in pure and applied modal logic. The topics in this edition include constructive and substructural modal logic, unification, algebraic and neighbourhood semantics, proof theory and complexity of modal logics, and verification in modal logic.