Matches in SemOpenAlex for { <https://semopenalex.org/work/W4226067823> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W4226067823 endingPage "18" @default.
- W4226067823 startingPage "1" @default.
- W4226067823 abstract "A new characterization of tabularity in tense logic is established, namely, a tense logic L is tabular if and only if . Two characterization theorems for the Post-completeness in tabular tense logics are given. Furthermore, a characterization of the Post-completeness in the lattice of all tense logics is established. Post numbers of some tense logics are shown." @default.
- W4226067823 created "2022-05-05" @default.
- W4226067823 creator A5036408132 @default.
- W4226067823 creator A5089332677 @default.
- W4226067823 date "2022-04-07" @default.
- W4226067823 modified "2023-09-25" @default.
- W4226067823 title "TABULARITY AND POST-COMPLETENESS IN TENSE LOGIC" @default.
- W4226067823 doi "https://doi.org/10.1017/s1755020322000132" @default.
- W4226067823 hasPublicationYear "2022" @default.
- W4226067823 type Work @default.
- W4226067823 citedByCount "0" @default.
- W4226067823 crossrefType "journal-article" @default.
- W4226067823 hasAuthorship W4226067823A5036408132 @default.
- W4226067823 hasAuthorship W4226067823A5089332677 @default.
- W4226067823 hasConcept C102993220 @default.
- W4226067823 hasConcept C120665830 @default.
- W4226067823 hasConcept C121332964 @default.
- W4226067823 hasConcept C134306372 @default.
- W4226067823 hasConcept C144791301 @default.
- W4226067823 hasConcept C154945302 @default.
- W4226067823 hasConcept C169896238 @default.
- W4226067823 hasConcept C17231256 @default.
- W4226067823 hasConcept C2780841128 @default.
- W4226067823 hasConcept C33923547 @default.
- W4226067823 hasConcept C41008148 @default.
- W4226067823 hasConceptScore W4226067823C102993220 @default.
- W4226067823 hasConceptScore W4226067823C120665830 @default.
- W4226067823 hasConceptScore W4226067823C121332964 @default.
- W4226067823 hasConceptScore W4226067823C134306372 @default.
- W4226067823 hasConceptScore W4226067823C144791301 @default.
- W4226067823 hasConceptScore W4226067823C154945302 @default.
- W4226067823 hasConceptScore W4226067823C169896238 @default.
- W4226067823 hasConceptScore W4226067823C17231256 @default.
- W4226067823 hasConceptScore W4226067823C2780841128 @default.
- W4226067823 hasConceptScore W4226067823C33923547 @default.
- W4226067823 hasConceptScore W4226067823C41008148 @default.
- W4226067823 hasLocation W42260678231 @default.
- W4226067823 hasOpenAccess W4226067823 @default.
- W4226067823 hasPrimaryLocation W42260678231 @default.
- W4226067823 hasRelatedWork W1517683753 @default.
- W4226067823 hasRelatedWork W1970705056 @default.
- W4226067823 hasRelatedWork W1999461063 @default.
- W4226067823 hasRelatedWork W2020552340 @default.
- W4226067823 hasRelatedWork W2033364110 @default.
- W4226067823 hasRelatedWork W2046366399 @default.
- W4226067823 hasRelatedWork W2107135200 @default.
- W4226067823 hasRelatedWork W2319274116 @default.
- W4226067823 hasRelatedWork W2332966134 @default.
- W4226067823 hasRelatedWork W4245749626 @default.
- W4226067823 isParatext "false" @default.
- W4226067823 isRetracted "false" @default.
- W4226067823 workType "article" @default.