On Sahlqvist theory for hybrid logics.
Saved in:
| Title: | On Sahlqvist theory for hybrid logics. |
|---|---|
| Authors: | CONRADIE, WILLEM1, wconradie@uj.ac.za, ROBINSON, CLAUDETTE1, claudette.robinson574@gmail.com |
| Source: | Journal of Logic & Computation; Apr2017, Vol. 27 Issue 3, p867-900, 34p |
| Database: | Applied Science & Technology Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 122682531 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: On Sahlqvist theory for hybrid logics. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22CONRADIE%2C+WILLEM%22">CONRADIE, WILLEM</searchLink><relatesTo>1</relatesTo>, <i>wconradie@uj.ac.za</i><br /><searchLink fieldCode="AU" term="%22ROBINSON%2C+CLAUDETTE%22">ROBINSON, CLAUDETTE</searchLink><relatesTo>1</relatesTo>, <i>claudette.robinson574@gmail.com</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Logic+%26+Computation%22">Journal of Logic & Computation</searchLink>; Apr2017, Vol. 27 Issue 3, p867-900, 34p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=122682531 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1093/logcom/exv045 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 34 StartPage: 867 Titles: – TitleFull: On Sahlqvist theory for hybrid logics. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: CONRADIE, WILLEM – PersonEntity: Name: NameFull: ROBINSON, CLAUDETTE IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 04 Text: Apr2017 Type: published Y: 2017 Identifiers: – Type: issn-print Value: 0955792X Numbering: – Type: volume Value: 27 – Type: issue Value: 3 Titles: – TitleFull: Journal of Logic & Computation Type: main |
| ResultId | 1 |