SCOPUS 정보 검색 플랫폼

Journal of Logic and Computation

Volumn 11, Issue 5, 2001, Pages 657-669

Bringing them all together

(2) Areces, C a Blackburn, P b

a UNIVERSITY OF AMSTERDAM (Netherlands)

b INRIA (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE; COMPUTER SOFTWARE; DATA STRUCTURES; FORMAL LANGUAGES; MATHEMATICAL MODELS;

HYBRID LOGIC; MODAL LOGIC; RELATIONAL STRUCTURES;

FORMAL LOGIC;

EID: 0035485011 PISSN: 0955792X EISSN: None Source Type: Journal
DOI: 10.1093/logcom/11.5.657 Document Type: Editorial

Times cited : (19)

References (41)

1
- 0021466185
- Towards a general theory of action and time
- (1984) Artificial Intelligence , vol.23 , pp. 123-154
- Allen, J.¹

2
- 0024769013
- A really temporal logic
- New York; IEEE Computer Society Press
- (1989) 30th Annual Symposium on Foundations of Computer Science , pp. 164-169
- Alur, R.¹ Henzinger, T.²

3
- 0003481034
- PhD thesis, ILLC, University of Amsterdam
- (2000) Logic Engineering: The Case of Hybrid Logic and Description Logic
- Areces, C.¹

4
- 0000980984
- The computational complexity of hybrid temporal logics
- (2000) Logic Journal of the IGPL , vol.8 , pp. 653-679
- Areces, C.¹ Blackburn, P.² Marx, M.³

5
- 0003288075
- Hybrid logics: Characterization, interpolation and complexity
- To appear
- (2000) Journal of Symbolic Logic
- Areces, C.¹ Blackburn, P.² Marx, M.³

6
- 4243933204
- Repairing the interpolation theorem in quantified modal logic
- Submitted
- (2001)
- Areces, C.¹ Blackburn, P.² Marx, M.³

7
- 0003231653
- From description to hybrid logics, and back
- F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, eds. CSLI Publications
- (2001) Advances in Modal Logic , vol.3
- Areces, C.¹ De Rijke, M.²

8
- 0000227941
- Labelled propositional modal logics: Theory and practice
- (1997) Journal of Logic and Computation , vol.7 , pp. 685-717
- Basin, D.¹ Matthews, S.² Viganò, L.³

9
- 54649084581
- Natural deduction for non-classical logics
- (1998) Studia Logica , vol.60 , pp. 119-160
- Basin, D.¹ Matthews, S.² Viganò, L.³

10
- 0006846993
- Modal logic and attribute value structures
- M. de Rijke, ed.; Kluwer Academic Publishers, Dordrecht
- (1993) Diamonds and Defaults , pp. 19-65
- Blackburn, P.¹

11
- 84972500844
- Nominal tense logic
- (1993) Notre Dame Journal of Formal Logic , vol.34 , pp. 56-83
- Blackburn, P.¹

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

13
- 0000730159
- Representation, reasoning structures: A hybrid logic manifesto
- (2000) Logic Journal of the IGPL , vol.8 , pp. 339-365
- Blackburn, P.¹

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

15
- 0346087445
- Hybrid languages
- Special issue on decompositions of first-order logic
- (1995) Journal of Logic, Language and Information , vol.4 , pp. 251-272
- Blackburn, P.¹ Seligman, J.²

16
- 0002283940
- Hybrid languages and temporal logic
- (1999) Logic Journal of the IGPL , vol.7 , pp. 27-54
- Blackburn, P.¹ Tzakova, M.²

17
- 84979127432
- An approach to tense logic
- (1970) Theoria , vol.36 , pp. 282-300
- Bull, R.¹

18
- 52649180449
- Sequent calculi for nominal tense logics: A step towards mechanization?
- N. Murray, ed. Volume 1617 of LNAI; Springer Verlag, 1999
- Conference on Tableaux Calculi and Related Methods (TABLEAUX), Saratoga Springs, USA , pp. 140-154
- Demri, S.¹

19
- 84957372361
- Cut-free display calculi for nominal tense logics
- N. Murray, ed. Volume 1617 of LNAI; Springer Verlag, 1999
- Conference on Tableaux Calculi and Related Methods (TABLEAUX), Saratoga Springs, USA , pp. 155-170
- Demri, S.¹ Goré, R.²

20
- 0003728505
- Clarendon Press, Oxford
- (1996) Labelled Deductive Systems , vol.1
- Gabbay, D.¹

21
- 0006841516
- Naming worlds in modal and temporal logic
- To appear
- (2000) Journal of Logic, Language and Information
- Gabbay, D.¹ Malod, G.²

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

23
- 0024106476
- Determinism and looping in combinatory PDL
- (1988) Theoretical Computer Science , vol.61 , pp. 259-277
- Gargov, G.¹ Passy, S.²

24
- 33845223252
- Hierarchies of modal and temporal logics with reference pointers
- (1996) Journal of Logic, Language and Information , vol.5 , pp. 1-24
- Goranko, V.¹

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

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

27
- 0025534944
- Half-order modal logic: How to prove real-time properties
- ACM Press
- (1990) Proceedings of the 9th Annual Symposium on Principles of Distributed Computing , pp. 281-296
- Henzinger, T.¹

28
- 0000106182
- A logic for reasoning about relative similarity
- (1997) Studia Logica , vol.58 , pp. 185-226
- Konikowska, B.¹

29
- 0000379905
- The unreality of time
- (1908) Mind , pp. 457-474
- McTaggart, J.¹

30
- 0022417328
- PDL with data constants
- (1985) Information Processing Letters , vol.20 , pp. 35-41
- Passy, S.¹ Tinchev, T.²

31
- 0006768144
- Quantifiers in combinatory PDL: Completeness, definability, incompleteness
- Springer
- (1985) Fundamentals of Computation Theory FCT 85, Volume 199 of LNCS , pp. 512-519
- Passy, S.¹ Tinchev, T.²

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

33
- 0001938503
- DLP system description
- E. Franconi, G. De Giacomo, R. MacGregor, W. Nutt, and C. Welty, eds.
- (1998) Proceedings of the 1998 International Workshop on Description Logics (DL'98) , pp. 87-89
- Patel-Schneider, P.¹

34
- 0004131117
- Oxford University Press
- (1967) Past, Present and Future
- Prior, A.¹

35
- 0006804149
- University of Oxford Press
- (1977) Papers on Time and Tense
- Prior, A.¹

36
- 0006802803
- A feature value logic
- Synthese Language Library, C. Rupp, M. Rosner, and R. Johnson, eds.; Academic Press
- (1994) Constraints, Language and Computation , pp. 77-110
- Reape, M.¹

37
- 0006841145
- The hybrid μ-calculus
- Proceedings of IJCAR'01, Siena, June 2001
- Sattler, U.¹ Vardi, M.²

38
- 0002013749
- The logic of correct description
- M. de Rijke, ed.; Number 7 in Applied Logic Series, Kluwer Academic Publishers
- (1997) Advances in Intensional Logic , pp. 107-135
- Seligman, J.¹

39
- 0003759706
- PhD thesis, ILLC, University of Amsterdam
- (1993) Complexity of Modal Logics
- Spaan, E.¹

40
- 14344269579
- The complexity of reasoning with cardinality restrictions and nominals in expressive description logics
- May
- (2000) Journal of Artificial Intelligence Research , vol.12 , pp. 199-217
- Tobies, S.¹

41
- 84957366647
- Tableaux calculi for hybrid logics
- N. Murray, ed. volume 1617 of LNAI; Springer Verlag, 1999
- Proceedings of the Conference on Tableaux Calculi and Related Methods (TABLEAUX), Saratoga Springs, USA , pp. 278-292
- Tzakova, M.¹

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