SCOPUS 정보 검색 플랫폼

Volumn 11, Issue 5, 2001, Pages 737-754

Sahlqvist formulas in hybrid polyadic modal logics

(2) Goranko, Valentin a Vakarelov, Dimiter b

a UNIVERSITY OF JOHANNESBURG (South Africa)

Author keywords

Canonicity; Completeness; First order definability; Hybrid polyadic modal logics; Nominals; Sahlqvist formulas; Satisfaction operator; Universal modality

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LANGUAGES; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; THEOREM PROVING;

CANONICITY; COMPLETENESS; FIRST ORDER DEFINABILITY; HYBRID POYADIC MODAL LOGICS; NOMINALS; SAHLQVIST FORMULAS; SATISFACTION OPERATOR; UNIVERSAL MODALITY;

FORMAL LOGIC;

EID: 0035484686 PISSN: 0955792X EISSN: None Source Type: Journal
DOI: 10.1093/logcom/11.5.737 Document Type: Article

Times cited : (33)

References (14)

1
- 0003481034
- PhD thesis, ILLC, University of Amsterdam
- (2000) Logic Engineering. The Case of Description and Hybrid Logics, ILLC Dissertation Series DS-2000-5
- Areces, C.¹

2
- 0033900673
- Internalizing labeled deduction
- (2000) Journal of Logic and Computation , vol.10 , pp. 137-168
- Blackburn, P.¹

3
- 0003599648
- Cambridge University Press
- (2001) Modal Logic. Number 53 in Cabridge Tracts in Theoretical Computer Science
- Blackburn, P.¹ De Rijke, M.² Venema, Y.³

4
- 0001855851
- What are hybrid languages?
- M. Kracht, M. de Rijke, H. Wansing, and M. Zakcharyaschev, eds.; CSLI Publications, Stanford
- (1998) Advances in Modal Logic , vol.1 , pp. 41-62
- Blackburn, P.¹ Seligman, J.²

5
- 0006808946
- Hybrid completeness
- (1998) Logic Journal of the IGPL , vol.4 , pp. 625-650
- Blackburn, P.¹ Tzakova, M.²

6
- 0006845861
- Sahlqvist formulas are not so elementary even above S4
- L. Csirmaz, D. Gabbay, and M. de Rijke, eds.; CSLI Publications, Stanford
- (1995) Logic Colloquium'92 , pp. 61-73
- Chagrov, A.¹ Zakharyaschev, M.²

7
- 0004107342
- PhD thesis, ILLC, University of Amsterdam
- (1993) Extending Modal Logic
- De Rijke, M.¹

8
- 33847313741
- Modal logics with names
- (1993) Journal of Philosophical Logic , vol.22 , pp. 607-636
- Gargov, G.¹ Goranko, V.²

9
- 0002113119
- Using the universal modality: Gains and questions
- (1992) Journal of Logic and Computation , vol.2 , pp. 5-30
- Goranko, V.¹ Passy, S.²

10
- 33747342681
- Sahlqvist formulas unleashed in polyadic modal languages
- F. Wolter, H. Wansing, M. de Rijke, and M. Zakcharyaschev, eds. CSLI Publications, Stanford; to appear
- (2001) Advances in Modal Logic , vol.3
- Goranko, V.¹ Vakarelov, D.²

11
- 0006802806
- How completeness and correspondence theory got married
- M. de Rijke, ed.; Kluwer, Dordrecht
- (1993) Diamonds and Defaults , pp. 175-214
- Kracht, M.¹

12
- 0026204958
- An essay in combinatory dynamic logic
- (1991) Information and Computation , vol.93 , pp. 263-332
- Passy, S.¹ Tinchev, T.²

13
- 0006808399
- Rough polyadic modal logics
- (1991) Journal of Applied Non-Classical Logics , vol.1 , pp. 9-35
- Vakarelov, D.¹

14
- 0000397736
- Derivation rules as anti-axioms in modal logic
- (1993) Journal of Symbolic Logic , vol.58 , pp. 1003-1034
- Venema, Y.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.