Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019935365> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2019935365 endingPage "59" @default.
- W2019935365 startingPage "27" @default.
- W2019935365 abstract "We study a hybrid intuitionistic modal logic suitable for reasoning about distribution of resources. The modalities of the logic allow validation of properties in a particular place, in some place and in all places. We provide a sound and complete Kripke semantics. We also define a sound and complete birelational semantics, and show that it enjoys the finite model property: if a judgement is not valid in the logic, then there is a finite birelational counter-model. Hence, we prove that the logic is decidable." @default.
- W2019935365 created "2016-06-24" @default.
- W2019935365 creator A5067426975 @default.
- W2019935365 creator A5068396440 @default.
- W2019935365 creator A5071769968 @default.
- W2019935365 date "2006-02-01" @default.
- W2019935365 modified "2023-09-23" @default.
- W2019935365 title "A Hybrid Intuitionistic Logic: Semantics and Decidability" @default.
- W2019935365 cites W1480314582 @default.
- W2019935365 cites W1537854563 @default.
- W2019935365 cites W1548773923 @default.
- W2019935365 cites W1591716390 @default.
- W2019935365 cites W159715351 @default.
- W2019935365 cites W1699512023 @default.
- W2019935365 cites W1724126941 @default.
- W2019935365 cites W1870129691 @default.
- W2019935365 cites W1932110987 @default.
- W2019935365 cites W1978469611 @default.
- W2019935365 cites W1988119046 @default.
- W2019935365 cites W1990620456 @default.
- W2019935365 cites W2004048608 @default.
- W2019935365 cites W2008132476 @default.
- W2019935365 cites W2009372148 @default.
- W2019935365 cites W2013474929 @default.
- W2019935365 cites W2013672985 @default.
- W2019935365 cites W2031349440 @default.
- W2019935365 cites W2052882335 @default.
- W2019935365 cites W2068458083 @default.
- W2019935365 cites W2075277371 @default.
- W2019935365 cites W2091941856 @default.
- W2019935365 cites W2092576830 @default.
- W2019935365 cites W2134259239 @default.
- W2019935365 cites W2137628566 @default.
- W2019935365 cites W2143326093 @default.
- W2019935365 cites W2167998587 @default.
- W2019935365 cites W2187936207 @default.
- W2019935365 cites W220713430 @default.
- W2019935365 cites W2319388297 @default.
- W2019935365 cites W2912003593 @default.
- W2019935365 cites W39669875 @default.
- W2019935365 doi "https://doi.org/10.1093/logcom/exi071" @default.
- W2019935365 hasPublicationYear "2006" @default.
- W2019935365 type Work @default.
- W2019935365 sameAs 2019935365 @default.
- W2019935365 citedByCount "20" @default.
- W2019935365 countsByYear W20199353652013 @default.
- W2019935365 countsByYear W20199353652015 @default.
- W2019935365 countsByYear W20199353652021 @default.
- W2019935365 crossrefType "journal-article" @default.
- W2019935365 hasAuthorship W2019935365A5067426975 @default.
- W2019935365 hasAuthorship W2019935365A5068396440 @default.
- W2019935365 hasAuthorship W2019935365A5071769968 @default.
- W2019935365 hasBestOaLocation W20199353652 @default.
- W2019935365 hasConcept C11413529 @default.
- W2019935365 hasConcept C153269930 @default.
- W2019935365 hasConcept C178421362 @default.
- W2019935365 hasConcept C184337299 @default.
- W2019935365 hasConcept C199360897 @default.
- W2019935365 hasConcept C33923547 @default.
- W2019935365 hasConcept C41008148 @default.
- W2019935365 hasConcept C69562738 @default.
- W2019935365 hasConceptScore W2019935365C11413529 @default.
- W2019935365 hasConceptScore W2019935365C153269930 @default.
- W2019935365 hasConceptScore W2019935365C178421362 @default.
- W2019935365 hasConceptScore W2019935365C184337299 @default.
- W2019935365 hasConceptScore W2019935365C199360897 @default.
- W2019935365 hasConceptScore W2019935365C33923547 @default.
- W2019935365 hasConceptScore W2019935365C41008148 @default.
- W2019935365 hasConceptScore W2019935365C69562738 @default.
- W2019935365 hasIssue "1" @default.
- W2019935365 hasLocation W20199353651 @default.
- W2019935365 hasLocation W20199353652 @default.
- W2019935365 hasOpenAccess W2019935365 @default.
- W2019935365 hasPrimaryLocation W20199353651 @default.
- W2019935365 hasRelatedWork W1483213041 @default.
- W2019935365 hasRelatedWork W1587224678 @default.
- W2019935365 hasRelatedWork W1778728081 @default.
- W2019935365 hasRelatedWork W192452711 @default.
- W2019935365 hasRelatedWork W2099080307 @default.
- W2019935365 hasRelatedWork W2119851520 @default.
- W2019935365 hasRelatedWork W2135396778 @default.
- W2019935365 hasRelatedWork W27605384 @default.
- W2019935365 hasRelatedWork W4243252198 @default.
- W2019935365 hasRelatedWork W1894736207 @default.
- W2019935365 hasVolume "16" @default.
- W2019935365 isParatext "false" @default.
- W2019935365 isRetracted "false" @default.
- W2019935365 magId "2019935365" @default.
- W2019935365 workType "article" @default.