scientific article; zbMATH DE number 757636

MaRDI QIDQ4833768zbMATH OpenFDO

Authors Johan van Benthem

Publication date 23 May 1995

zbMATH Keywords

completenessfunctional framesfunctional modelsfunctional predicate modelsKripke modelsmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Functional translation and second-order frame properties of modal logics
• A functional approach for temporal \(\times\) modal logics
• scientific article; zbMATH DE number 3916226
• Analyzing completeness of axiomatic functional systems for temporal modal logics

Cited in

(5)

• On modal logics characterized by models with relative accessibility relations. II
• Analyzing completeness of axiomatic functional systems for temporal modal logics
• Modal logics with relative accessibility relations
• Temporal Aspects of the Dynamics of Knowledge
• Non-axiomatizability of modal predicate logics of Dedekind-complete linear orders with constant domains

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 Q4833768)