scientific article; zbMATH DE number 757636

zbMATH Open0824.03006MaRDI QIDQ4833768FDOQ4833768

Authors: Johan van Benthem 

Publication date: 23 May 1995

Title of this publication is not available (Why is that?)

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 \(\times \) modal logics

zbMATH Keywords

completenessfunctional modelsKripke modelsmodal logicfunctional framesfunctional predicate models

Mathematics Subject Classification ID

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

Cited In (4)

• On modal logics characterized by models with relative accessibility relations. II
• Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics
• Modal logics with relative accessibility relations
• Temporal Aspects of the Dynamics of Knowledge

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)