Simulating polyadic modal logics by monadic ones

Journal of Symbolic Logic

Volumn 68, Issue 2, 2003, Pages 419-462

  Goguadze, George ^a,b   Piazza, Carla ^b,c   Venema, Yde ^b,d  

^a SAARLAND UNIVERSITY   (Germany)

^b UNIVERSITY OF UDINE   (Italy)

^c CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^d UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0037833495     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1052669058     Document Type: Article

References (20)

1. J. van Benthem, G. D’Agostino, A. Montanari, and A. PoLiCRm, Modal deduction in second-order logic and set theory-I, Journal of Logic and Computation, vol. 7 (1997), no. 2, pp. 251-265.
2. J. van Benthem, Modal deduction in second-order logic and set theory-II, Studia Logica, vol. 60 (1998), no. 3, pp. 387-420.
3. P. Blackburn, M. De Rijke, and Y. Venema, Modal Logic, Cambridge Tracts in Computer Science, Cambridge University Press, Cambridge, 2001.
4. M. de Rijke (editor), Diamonds and defaults, Synthese Library, vol. 229, Kluwer Academic Publishers, 1993.
5. K. Gödel, Eine Interpretation des intuitionistischen Aussagenkalkuls, Ergebnisse eines Mathema-tischen Kolloquiums, vol. 6 (1933), pp. 39-40.
6. R.I. Goldblatt, Varieties of complex algebras, Annals of Pure and Applied Logic, vol. 38 (1989), pp. 173-241.
7. M.R. Hansen and C. Zhou, Duration calculus: Logicalfoundations, Formal Aspects of Computing, vol. 9 (1997), pp. 283-330.
8. R. Hirsch and I. Hodkinson, Relation Algebras by Games, Studies in Logic, vol. 147, Elsevier, Amsterdam, 2002.
9. B. Jónsson and A. Tarskl, Boolean algebras with operators, Part I, American Journal of Mathematics, vol. 73 (1952), pp. 891-939.
10. B. Jónsson and A. Tarskl, Boolean algebras with operators, Part II, American Journal of Mathematics, vol. 74 (1952), pp. 127-162.
11. M. Kracht, Tools and Techniques in Modal Logic, Studies in Logic, vol. 142, Elsevier, Amsterdam, 1999.
12. M. Kracht and F. Wolter, Simulation and transfer results in modal logic: A survey, Studia Logica, vol. 59 (1997), pp. 149-177.
13. M. Kracht and F. Wolter, Normal modal logics can simulate all others, this Journal, (1999), pp. 99-138.
14. N. Kurtonina, Categorial inference and modal logic, Journal of Logic, Language and Information, vol. 7 (1998), pp. 399-418.
15. J. LAMbEk, The mathematics of sentence structure, American Mathematical Monthly, vol. 65 (1958), pp. 154-170.
16. M. Marx, L. Pólos, and M. Masuch (editors), Arrow Logic and Multi-Modal Logic, Studies in Logic, Language and Information, CSLI Publications, 1996.
17. D. Roorda, Dyadic modalities and Lambek calculus, Diamonds and Defaults (M. de Rijke, editor), Kluwer, 1993, pp. 215-253.
18. S.K. Thomason, Reduction of second-order logic to modal logic, Zeitschrift fUr Mathemathische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 107-114.
19. S.K. Thomason, Reduction of tense logic to modal logic If Theoria, vol. 41 (1975), pp. 154-169.
20. Y. Venema, A modal logic for chopping intervals, Journal of Logic and Computation, vol. 1 (1993), pp. 453-476.