Avansuri în logica modală, volumul 13

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Advances in Modal Logic, Volume 13

Conținutul cărții:

Logica se ocupă de noțiunile fundamentale de adevăr și falsitate. Logica modală a apărut din.

Studiul filosofic al „modurilor de adevăr”, cele două moduri cele mai comune fiind „neapărat adevărat” și „posibil adevărat”. În prezent, logica modală este utilizată, printre altele, pentru a raționa cu privire la cunoștințe, obligații, programe și timp.

Cercetările actuale în domeniul logicii modale acoperă filosofia, informatica și matematica, folosind tehnici din structurile relaționale, algebra universală, topologia și teoria probelor.

Aceste proceduri înregistrează lucrările prezentate la conferința 2020 privind progresele în logica modală, o serie de conferințe bienale cu scopul de a raporta noi evoluții importante în logica modală pură și aplicată.

Subiectele includ rezultatele decidabilității și complexității, teoria probelor, teoria modelelor, interpolarea, probleme conexe în logica algebrică, precum și istoria raționamentului modal.