Advances in Modal Logic 15 - Brossura

 
9781848904675: Advances in Modal Logic 15
Brossura
ISBN 10: 1848904673 ISBN 13: 9781848904675
Casa editrice: College Publications, 2024

Sinossi


Since ancient times, philosophers have recognised that truth comes in many 'modes', so that a proposition can be not only true or false, but also, for example, 'necessary' or 'possible'. These ideas led to the modern field of modal logic, a lively area of research at the interface of philosophy, mathematics and computer science.

Nowadays, the term 'modal logic' is understood in a broad sense, allowing it to encompass logics for reasoning about seemingly unrelated phenomena such as knowledge, obligations, time, space, and proofs, among many others. Contemporary 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 Advances in Modal Logic 2024, the 15th in a series of biennial conferences that aim to report on important new developments in pure and applied modal logic. Topics in this issue include epistemic modal logic, constructive and many-valued modal logic, unification, algebraic and neighbourhood semantics, proof theory and complexity of modal logics, conditional and quantified modal logic.

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

Editore
College Publications
Data di pubblicazione
2024
Lingua
Inglese
ISBN 10 
1848904673
ISBN 13 
9781848904675
Rilegatura
Copertina flessibile
Numero di pagine
774
Redattore
Ciabattoni Agata, Gabelaia David, Sedlár Igor
Contatto del produttore
non disponibile
Persona responsabile
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Germania