Interpolation in Modal Logic

Authors:
Maarten Marx
Affiliations:
-
Venue:
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Year:
1999

Citing 6
Cited 1

Module algebra

Journal of the ACM (JACM)
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
Logical Specification and Implementation

Proceedings of the Fourth Conference on Foundations of Software Technology and Theoretical Computer Science
Axiomatizing Specification Theory

Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
Failure of Interpolation in Combined Modal Logics

Failure of Interpolation in Combined Modal Logics
A guide to the modal logics of knowledge and belief: preliminary draft

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The interpolation property and Robinson's consistency property are important tools for applying logic to software engineering. We provide a uniform technique for proving the Interpolation Property, using the notion of bisimulation. For modal logics, this leads to simple, easy-to-check conditions on the logic which imply interpolation. We apply this result to fibering of modal logics and to modal logics of knowledge and belief.