Number of the records: 1  

Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”

  1. 1.
    SYSNO ASEP0512111
    Document TypeG - Proceedings (int. conf.)
    R&D Document TypeO - Ostatní
    TitleSpecial issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”
    Author(s) Cintula, Petr (UIVT-O ed.) RID, ORCID, SAI
    Weber, Z. (ed. NZ)
    Ju, S. (ed. CN)
    Source TitleLogic Journal of the IGPL. - : Oxford University Press - ISSN 1367-0751
    Roč. 27, č. 4 (2019), s. 385-623
    Number of pages239 s.
    ActionNCMPL 2017. Non-Classical Modal and Predicate Logics /9./
    Event date04.12.2017-07.12.2017
    VEvent locationGuangzhou
    CountryCN - China
    Event typeWRD
    Languageeng - English
    CountryGB - United Kingdom
    KeywordsNon-classical logic ; modal logic ; predicate logics
    Subject RIVBA - General Mathematics
    OECD categoryPure mathematics
    Institutional supportUIVT-O - RVO:67985807
    UT WOS000493054900001
    DOI10.1093/jigpal/jzz010
    AnnotationSOURCE: Logic Journal of the IGPL. Roč. 27, č. 4 (2019), s. 385-386. ISSN 1367-0751. ABSTRACT: There was a time when modal logic—any modal logic—was ‘non-classical’. In the early 1950s, someone as influential as Quine was still arguing that quantifying into modal contexts is incoherent (see, e.g. (4)). Today, modal logic is not only widely accepted but also a thriving, crowded research topic, having become a tool applicable in a vast array of areas. The notion that using modal operators at all is non-classical (which, in the mid-20th century, meant the same thing as deviant) now seems almost quaint. To be ‘non-classical’ in modal logic today means taking a much larger step beyond the narrow confines of two-valued classical logic than it did when Quine wrote.
    WorkplaceInstitute of Computer Science
    ContactTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Year of Publishing2020
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.