Advances in Modal Logic 14 - Brossura

 
9781848904132: Advances in Modal Logic 14
Brossura
ISBN 10: 1848904134 ISBN 13: 9781848904132
Casa editrice: College Publications, 2022

Sinossi

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.


Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
College Publications
Data di pubblicazione
2022
Lingua
Inglese
ISBN 10 
1848904134
ISBN 13 
9781848904132
Rilegatura
Copertina flessibile
Numero di pagine
754
Redattore
Fernández Duque David, Palmigiano Alessandra, Pinchinat Sophie
Contatto del produttore
non disponibile
Persona responsabile
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Germania