Matches in SemOpenAlex for { <https://semopenalex.org/work/W2087125280> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2087125280 endingPage "500" @default.
- W2087125280 startingPage "481" @default.
- W2087125280 abstract "Based on the results of [11] this paper delivers uniform algorithms for deciding whether a finitely axiomatizable tense logic has the finite model property, is complete with respect to Kripke semantics, is strongly complete with respect to Kripke semantics, is d-persistent, is r-persistent. It is also proved that a tense logic is strongly complete iff the corresponding variety of bimodal algebras is complex, and that a tense logic is d-persistent iff it is complete and its Kripke frames form a first order definable class. From this we obtain many natural non-d-persistent tense logics whose corresponding varieties of bimodal algebras are complex. Mathematics Subject Classification: 03B45, 03B25." @default.
- W2087125280 created "2016-06-24" @default.
- W2087125280 creator A5010967150 @default.
- W2087125280 date "1996-01-01" @default.
- W2087125280 modified "2023-09-26" @default.
- W2087125280 title "Properties of Tense Logics" @default.
- W2087125280 cites W1988287101 @default.
- W2087125280 cites W1991748341 @default.
- W2087125280 cites W1998911560 @default.
- W2087125280 cites W2058832382 @default.
- W2087125280 cites W2071467583 @default.
- W2087125280 cites W5268957 @default.
- W2087125280 doi "https://doi.org/10.1002/malq.19960420140" @default.
- W2087125280 hasPublicationYear "1996" @default.
- W2087125280 type Work @default.
- W2087125280 sameAs 2087125280 @default.
- W2087125280 citedByCount "18" @default.
- W2087125280 countsByYear W20871252802012 @default.
- W2087125280 countsByYear W20871252802014 @default.
- W2087125280 countsByYear W20871252802019 @default.
- W2087125280 countsByYear W20871252802023 @default.
- W2087125280 crossrefType "journal-article" @default.
- W2087125280 hasAuthorship W2087125280A5010967150 @default.
- W2087125280 hasConcept C102993220 @default.
- W2087125280 hasConcept C105795698 @default.
- W2087125280 hasConcept C111472728 @default.
- W2087125280 hasConcept C118615104 @default.
- W2087125280 hasConcept C136119220 @default.
- W2087125280 hasConcept C136197465 @default.
- W2087125280 hasConcept C138885662 @default.
- W2087125280 hasConcept C154945302 @default.
- W2087125280 hasConcept C160131679 @default.
- W2087125280 hasConcept C184337299 @default.
- W2087125280 hasConcept C189950617 @default.
- W2087125280 hasConcept C199360897 @default.
- W2087125280 hasConcept C202444582 @default.
- W2087125280 hasConcept C2777212361 @default.
- W2087125280 hasConcept C33203268 @default.
- W2087125280 hasConcept C33923547 @default.
- W2087125280 hasConcept C41008148 @default.
- W2087125280 hasConceptScore W2087125280C102993220 @default.
- W2087125280 hasConceptScore W2087125280C105795698 @default.
- W2087125280 hasConceptScore W2087125280C111472728 @default.
- W2087125280 hasConceptScore W2087125280C118615104 @default.
- W2087125280 hasConceptScore W2087125280C136119220 @default.
- W2087125280 hasConceptScore W2087125280C136197465 @default.
- W2087125280 hasConceptScore W2087125280C138885662 @default.
- W2087125280 hasConceptScore W2087125280C154945302 @default.
- W2087125280 hasConceptScore W2087125280C160131679 @default.
- W2087125280 hasConceptScore W2087125280C184337299 @default.
- W2087125280 hasConceptScore W2087125280C189950617 @default.
- W2087125280 hasConceptScore W2087125280C199360897 @default.
- W2087125280 hasConceptScore W2087125280C202444582 @default.
- W2087125280 hasConceptScore W2087125280C2777212361 @default.
- W2087125280 hasConceptScore W2087125280C33203268 @default.
- W2087125280 hasConceptScore W2087125280C33923547 @default.
- W2087125280 hasConceptScore W2087125280C41008148 @default.
- W2087125280 hasIssue "1" @default.
- W2087125280 hasLocation W20871252801 @default.
- W2087125280 hasOpenAccess W2087125280 @default.
- W2087125280 hasPrimaryLocation W20871252801 @default.
- W2087125280 hasRelatedWork W1978201126 @default.
- W2087125280 hasRelatedWork W2007735529 @default.
- W2087125280 hasRelatedWork W2014467270 @default.
- W2087125280 hasRelatedWork W2016580477 @default.
- W2087125280 hasRelatedWork W2018091338 @default.
- W2087125280 hasRelatedWork W2020174565 @default.
- W2087125280 hasRelatedWork W2039619910 @default.
- W2087125280 hasRelatedWork W2058432420 @default.
- W2087125280 hasRelatedWork W2131625422 @default.
- W2087125280 hasRelatedWork W4311038273 @default.
- W2087125280 hasVolume "42" @default.
- W2087125280 isParatext "false" @default.
- W2087125280 isRetracted "false" @default.
- W2087125280 magId "2087125280" @default.
- W2087125280 workType "article" @default.