A note on graded modal logic

Studia Logica

Volumn 64, Issue 2, 2000, Pages 271-283

  De Rijke, Haarten ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Bisimulation; Modal logic

Indexed keywords

EID: 1942456339     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005245900406     Document Type: Article

References (20)

1. VAN BENTHEM, J., Exploring Logical Dynamics, Studies in Logic, Language and Information, CSLI Publications, Stanford, 1996.
2. CERRATO, C., 'General canonical models for graded normal logics (graded modalities IV)', Studia Logica 49 (1990), 241-252.
3. CERRATO, C., 'Decidability by nitrations for graded normal logics (graded modalities V)', Studia. Logica 53 (1994), 61-74.
4. CHANG, C. C., and H. J. KEISLER, Model Theory, North-Holland, Amsterdam, 1973.
5. DE CARD, F., 'Graded modalities II', Studia Logica 47 (1988), 1-10.
6. DONINI, F. M., M. LENZERINI, D. NARDI and A. SCHAERF, 'Reasoning in description logics', in G. Brewka (ed.), Principles of Knowledge Representation, Studies in Logic, Language and Information, CSLI Publications, Stanford, 1996.
7. PATTOROSI-BARNABA, M., and F. DE CARO, 'Graded modalities I', Studia Logica 44 (1985), 197-221.
8. FATTOROSI-BARNABA, M., and C. CERRATO, 'Graded modalities III', Studia Logica 47 (1988), 99-110.
9. FINE, K., 'In so many possible worlds', Notre Dame Journal of Formal Logic 13 (1972), 516-520.
10. GOBLE, L. F., 'Grades of modality', Logique et Analyse 13 (1970), 323-334.
11. VAN DER HOEK, W., Modalities for Reasoning about Knowledge and Quantities, Phd thesis, Free University of Amsterdam, 1992.
12. VAN DER HOEK, W., 'On the semantics of graded modalities', Journal of Applied Non-Classical Logic 2 (1992), 81-123.
13. VAN DER HOEK, W., and M. DE RIJKE, 'Generalized quantifiers and modal logic', Journal of Logic, Language and Information 2 (1993), 19-57.
14. VAN DER HOEK, W., and M. DE RIJKE, 'Counting objects', Journal o] Logic and Computation 5 (1995), 325-345.
15. KURTONINA, N., and M. DE RIJKE, 'Bisimulations for temporal logic', Journal of Logic, Language, and Information 6 (1997), 403-425.
16. KURTONINA, N., and M, DE RIJKE, 'Simulating without negation', Journal of Logic and Computation 7 (1997), 503-524.
17. MARX, M., Algebraic Relatimzation and Arrow Logic, PhD thesis, ILLC, University of Amsterdam, 1995.
18. NAKAMURA, A., 'On a logic based on graded modalities', IECE Trans. Inf. & Syst., E76-D(5) (1992), 527-532.
19. DE RIJKE, M., 'Modal model theory', Annals of Pure and Applied Logic (to appear).
20. SCHLINGLOFF, H., 'Expressive completeness of temporal logic of trees', Journal of Applied Non-Classical Logics 2 (1992), 157-180.