Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019718815> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2019718815 endingPage "215" @default.
- W2019718815 startingPage "203" @default.
- W2019718815 abstract "Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated." @default.
- W2019718815 created "2016-06-24" @default.
- W2019718815 creator A5037895906 @default.
- W2019718815 date "1997-01-01" @default.
- W2019718815 modified "2023-09-23" @default.
- W2019718815 title "On Binary Computation Structures" @default.
- W2019718815 cites W1619270605 @default.
- W2019718815 cites W1952069134 @default.
- W2019718815 cites W2006227387 @default.
- W2019718815 cites W2144501579 @default.
- W2019718815 doi "https://doi.org/10.1002/malq.19970430205" @default.
- W2019718815 hasPublicationYear "1997" @default.
- W2019718815 type Work @default.
- W2019718815 sameAs 2019718815 @default.
- W2019718815 citedByCount "4" @default.
- W2019718815 crossrefType "journal-article" @default.
- W2019718815 hasAuthorship W2019718815A5037895906 @default.
- W2019718815 hasConcept C114092440 @default.
- W2019718815 hasConcept C11413529 @default.
- W2019718815 hasConcept C118615104 @default.
- W2019718815 hasConcept C121332964 @default.
- W2019718815 hasConcept C134306372 @default.
- W2019718815 hasConcept C136119220 @default.
- W2019718815 hasConcept C153269930 @default.
- W2019718815 hasConcept C154945302 @default.
- W2019718815 hasConcept C165801399 @default.
- W2019718815 hasConcept C17231256 @default.
- W2019718815 hasConcept C172385210 @default.
- W2019718815 hasConcept C177148314 @default.
- W2019718815 hasConcept C177264268 @default.
- W2019718815 hasConcept C185592680 @default.
- W2019718815 hasConcept C188027245 @default.
- W2019718815 hasConcept C199360897 @default.
- W2019718815 hasConcept C202444582 @default.
- W2019718815 hasConcept C27508121 @default.
- W2019718815 hasConcept C2776235265 @default.
- W2019718815 hasConcept C2777212361 @default.
- W2019718815 hasConcept C2777796570 @default.
- W2019718815 hasConcept C33923547 @default.
- W2019718815 hasConcept C41008148 @default.
- W2019718815 hasConcept C45374587 @default.
- W2019718815 hasConcept C48372109 @default.
- W2019718815 hasConcept C62520636 @default.
- W2019718815 hasConcept C65180967 @default.
- W2019718815 hasConcept C69562738 @default.
- W2019718815 hasConcept C71139939 @default.
- W2019718815 hasConcept C78344899 @default.
- W2019718815 hasConcept C94375191 @default.
- W2019718815 hasConceptScore W2019718815C114092440 @default.
- W2019718815 hasConceptScore W2019718815C11413529 @default.
- W2019718815 hasConceptScore W2019718815C118615104 @default.
- W2019718815 hasConceptScore W2019718815C121332964 @default.
- W2019718815 hasConceptScore W2019718815C134306372 @default.
- W2019718815 hasConceptScore W2019718815C136119220 @default.
- W2019718815 hasConceptScore W2019718815C153269930 @default.
- W2019718815 hasConceptScore W2019718815C154945302 @default.
- W2019718815 hasConceptScore W2019718815C165801399 @default.
- W2019718815 hasConceptScore W2019718815C17231256 @default.
- W2019718815 hasConceptScore W2019718815C172385210 @default.
- W2019718815 hasConceptScore W2019718815C177148314 @default.
- W2019718815 hasConceptScore W2019718815C177264268 @default.
- W2019718815 hasConceptScore W2019718815C185592680 @default.
- W2019718815 hasConceptScore W2019718815C188027245 @default.
- W2019718815 hasConceptScore W2019718815C199360897 @default.
- W2019718815 hasConceptScore W2019718815C202444582 @default.
- W2019718815 hasConceptScore W2019718815C27508121 @default.
- W2019718815 hasConceptScore W2019718815C2776235265 @default.
- W2019718815 hasConceptScore W2019718815C2777212361 @default.
- W2019718815 hasConceptScore W2019718815C2777796570 @default.
- W2019718815 hasConceptScore W2019718815C33923547 @default.
- W2019718815 hasConceptScore W2019718815C41008148 @default.
- W2019718815 hasConceptScore W2019718815C45374587 @default.
- W2019718815 hasConceptScore W2019718815C48372109 @default.
- W2019718815 hasConceptScore W2019718815C62520636 @default.
- W2019718815 hasConceptScore W2019718815C65180967 @default.
- W2019718815 hasConceptScore W2019718815C69562738 @default.
- W2019718815 hasConceptScore W2019718815C71139939 @default.
- W2019718815 hasConceptScore W2019718815C78344899 @default.
- W2019718815 hasConceptScore W2019718815C94375191 @default.
- W2019718815 hasIssue "2" @default.
- W2019718815 hasLocation W20197188151 @default.
- W2019718815 hasOpenAccess W2019718815 @default.
- W2019718815 hasPrimaryLocation W20197188151 @default.
- W2019718815 hasRelatedWork W1538772034 @default.
- W2019718815 hasRelatedWork W1980172029 @default.
- W2019718815 hasRelatedWork W2019718815 @default.
- W2019718815 hasRelatedWork W2101793126 @default.
- W2019718815 hasRelatedWork W2110715144 @default.
- W2019718815 hasRelatedWork W2158942091 @default.
- W2019718815 hasRelatedWork W2513853058 @default.
- W2019718815 hasRelatedWork W2962796546 @default.
- W2019718815 hasRelatedWork W4320503070 @default.
- W2019718815 hasRelatedWork W2183503654 @default.
- W2019718815 hasVolume "43" @default.
- W2019718815 isParatext "false" @default.
- W2019718815 isRetracted "false" @default.
- W2019718815 magId "2019718815" @default.
- W2019718815 workType "article" @default.