Concepedia

Adding a temporal dimension to a logic system

Marcelo Finger, Dov M. Gabbay

Journal of Logic Language and Information · 1992 · 188 citations · 12 references

DOI

Concepts

References

12

Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99

Simon Colton, Alan Bundy, Toby Walsh · 1999 · 2.5K citations

, , +12

Knowledge and belief

Jaakko Hintikka · 1962 · 1.5K citations

A guide to the modal logics of knowledge and belief: preliminary draft

Joseph Y. Halpern, Yoram Moses · International Joint Conference on Artificial Intelligence · 1985 · 172 citations

, , +16

Properties of independently axiomatizable bimodal logics

Marcus Kracht, Frank Wolter · Journal of Symbolic Logic · 1991 · 161 citations

, , +8

An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers

Dav M. Gabbay, Ian Hodkinson · Journal of Logic and Computation · 1990 · 101 citations

, , +10