Anticipazioni in Logica Modale, Volume 13

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Advances in Modal Logic, Volume 13

Contenuto del libro:

La logica si occupa delle nozioni fondamentali di verità e falsità. La logica modale è nata dalla.

Studio filosofico dei “modi di verità”, con i due modi più comuni che sono “necessariamente vero” e “possibilmente vero”. Oggi la logica modale viene utilizzata, tra l'altro, per ragionare sulla conoscenza, sugli obblighi, sui programmi e sul tempo.

La ricerca attuale sulla logica modale abbraccia la filosofia, l'informatica e la matematica, utilizzando tecniche di strutture relazionali, algebra universale, topologia e teoria delle prove.

Questi atti raccolgono i lavori presentati alla conferenza 2020 su Advances in Modal Logic, una serie di conferenze biennali con l'obiettivo di riferire su nuovi importanti sviluppi nella logica modale pura e applicata.

Gli argomenti includono risultati di decidibilità e complessità, teoria delle prove, teoria dei modelli, interpolazione, problemi correlati alla logica algebrica e storia del ragionamento modale.