Normal Multimodal Logics

@inproceedings{Catach1988NormalML,
  title={Normal Multimodal Logics},
  author={Laurent Catach},
  booktitle={AAAI},
  year={1988}
}
This paper studies what we call normal multimodal logics, which are general modal systems with an arbitrary set of normal modal operators. We emphasize the importance of non-simple systems, for which some interaction axioms are considered. A list of such acceptable axioms is proposed, among which the induction axiom has a special behavior. The class of multimodal logics that can be built with these axioms generalizes many existing modal, temporal, dynamic and epistemic systems, and could also… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 12 REFERENCES

Makinson : “ On some Completeness Theorems in Modal Logic ”

  • D.
  • Zeitschrift tUr Mathematische Logik und…
  • 1985

Orlowska : “ DAL : a logic for data analysis

  • L. Farifias, E.
  • 1983

Rennie : “ Models for multipiy modal systems ”

  • K. M.
  • Zeitschrift ftir Mathematische Logik und…
  • 1981

Tarski : “ Boolean algebras with operators I ”

  • B. Jonsson, A.
  • American Journal of Mathematics
  • 1980

Berman : “ A completeness technique for Daxiomatizable semantics ”

  • 19881 L. Catach Catach
  • Proc . 11 ” ACM Symp . on Th . of Comp .
  • 1979

Parikh : “ Propositional dynamic logits of programs : a survey

  • 19811 R. Parikh
  • 1966

Cohen : “ A formalization of referentially opaque contexts ”

  • 19601 L. J. Cohen
  • The Journal of Symbolic Logic

Similar Papers

Loading similar papers…