scientific article; zbMATH DE number 1047509

MaRDI QIDQ4349286zbMATH OpenFDO

Authors Maarten de Rijke

Publication date 28 January 1998

zbMATH Keywords

abstract model theoryarrow logiccombining modal systemsdynamic logicfine-structure of modelsmodal logicmodal transition logicstemporal logics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Abstract model theory (03C95)

Review text

The question here is how to characterize modal logic to include not only the traditional logics of necessity and possibility, but the wide range of contemporary logics, including various temporal logics, arrow logic, dynamic logic, etc., and other modal transition logics. The answer is to view modal logic as part of abstract model theory; a modal logic is a many-sorted formalism concerned with the fine-structure of models. Modal operators are functions from sorts to sorts that describe simple relational patterns in the underlying structures. Such a unified framework opens new research areas, e.g., classifying logics, generalizing results, and combining modal systems. For the entire collection see [Zbl 0859.00018].

Recommendations

• scientific article; zbMATH DE number 2101966
• scientific article; zbMATH DE number 1735869
• scientific article; zbMATH DE number 2101971
• scientific article; zbMATH DE number 1222488
• Abstract modal logics

Cited in

(3)

• A theory of hypermodal logics: Mode shifting in modal logic
• Categorial graphs
• What is Propositional Logic a Theory of, if Anything?

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4349286)