PERHAPS A GIFT VOUCHER FOR MUM?: MOTHER'S DAY

Close Notification

Your cart does not contain any items

Advances in Modal Logic 14 by David Fernández Duque at Abbey's Bookshop,
Advances in Modal Logic 14
— —
David Fernández Duque Alessandra Palmigiano

Advances in Modal Logic 14

David Fernández Duque,  Alessandra Palmigiano,  Sophie Pinchinat

$57.95   $49.38

Paperback

Not in-store but you can order this
How long will it take?
English
College Publications
19 July 2022
Philosophy: logic; Mathematical logic
"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."
Edited by:   , ,
Imprint:   College Publications
Dimensions:   Height: 234mm,  Width: 156mm,  Spine: 38mm
Weight:   1.039kg
ISBN:   9781848904132
ISBN 10:   1848904134
Pages:   754
Publication Date:  
Audience:   General/trade ,  ELT Advanced
Format:   Paperback
Publisher's Status:   Active

See Also

Advances in Modal Logic 14

Topics In Model Theory

Anand Pillay (Univ Of Notre Dame,...

Hardback

$104.99 

Not in-store but you can order this

ADD +
Advances in Modal Logic 14

Introducing String Diagrams

The Art of Category Theory

Ralf Hinze (RPTU Kaiserslautern-Landau,...

Hardback

$75.95 

In Stock 😊

ADD +
Advances in Modal Logic 14

Taking the “Oof!” Out of Proofs...

Alexandr Draganov

Paperback

$94.99 

Not in-store but you can order this

ADD +
Advances in Modal Logic 14

Essential Enterprise Blockchain...

Kavita Saini (Galgotias University,...

Paperback

$94.99 

Not in-store but you can order this

ADD +
Advances in Modal Logic 14

Gödel, Tarski and the Lure of Natural...

Logical Entanglement, Formalism...

Juliette Kennedy (University of...

Paperback

$41.95 

Not in-store but you can order this

ADD +
Advances in Modal Logic 14

A Century since Principia's Substitution...

Fairouz Kamareddine

Paperback

$47.95  $40.46

Not in-store but you can order this

ADD +