BIROn - Birkbeck Institutional Research Online

    Speaking about transitive frames in propositional languages

    Suzuki, Y. and Wolter, F. and Zakharyaschev, Michael (1998) Speaking about transitive frames in propositional languages. Journal of Logic, Language and Information 7 (3), pp. 317-339. ISSN 0925-8531.

    Full text not available from this repository.


    This paper is a comparative study of the propositional intuitionistic (non-modal) and classical modal languages interpreted in the standard way on transitive frames. It shows that, when talking about these frames rather than conventional quasi-orders, the intuitionistic language displays some unusual features: its expressive power becomes weaker than that of the modal language, the induced consequence relation does not have a deduction theorem and is not protoalgebraic. Nevertheless, the paper develops a manageable model theory for this consequence and its extensions which also reveals some unexpected phenomena. The balance between the intuitionistic and modal languages is restored by adding to the former one more implication.


    Item Type: Article
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 08 Nov 2021 18:00
    Last Modified: 09 Aug 2023 12:52


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item