Matches in SemOpenAlex for { <https://semopenalex.org/work/W566799862> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W566799862 endingPage "12" @default.
- W566799862 startingPage "1" @default.
- W566799862 abstract "Institutions give an algebraic answer to the question what is a logic?. In our paper we internalise “possible worlds semantics” and modal satisfaction to institutions with open formulae (called open institutions) and fullfiling certain mild technical conditions. Modalities then can be defined on “top” of any such institution proving that modal extensions are not a privilege of certain logics like the first order one but can be generated over a much wider variety of institutions." @default.
- W566799862 created "2016-06-24" @default.
- W566799862 creator A5004995921 @default.
- W566799862 creator A5067450953 @default.
- W566799862 date "1997-12-03" @default.
- W566799862 modified "2023-09-25" @default.
- W566799862 title "Modality in open institutions with concrete syntax" @default.
- W566799862 cites W2010883554 @default.
- W566799862 cites W206056444 @default.
- W566799862 hasPublicationYear "1997" @default.
- W566799862 type Work @default.
- W566799862 sameAs 566799862 @default.
- W566799862 citedByCount "0" @default.
- W566799862 crossrefType "journal-article" @default.
- W566799862 hasAuthorship W566799862A5004995921 @default.
- W566799862 hasAuthorship W566799862A5067450953 @default.
- W566799862 hasConcept C10138342 @default.
- W566799862 hasConcept C136197465 @default.
- W566799862 hasConcept C144024400 @default.
- W566799862 hasConcept C144133560 @default.
- W566799862 hasConcept C154945302 @default.
- W566799862 hasConcept C182306322 @default.
- W566799862 hasConcept C184337299 @default.
- W566799862 hasConcept C185592680 @default.
- W566799862 hasConcept C188027245 @default.
- W566799862 hasConcept C199360897 @default.
- W566799862 hasConcept C27508121 @default.
- W566799862 hasConcept C2779903281 @default.
- W566799862 hasConcept C2780138299 @default.
- W566799862 hasConcept C2780226545 @default.
- W566799862 hasConcept C2780510313 @default.
- W566799862 hasConcept C36289849 @default.
- W566799862 hasConcept C38652104 @default.
- W566799862 hasConcept C41008148 @default.
- W566799862 hasConcept C60048249 @default.
- W566799862 hasConcept C71139939 @default.
- W566799862 hasConceptScore W566799862C10138342 @default.
- W566799862 hasConceptScore W566799862C136197465 @default.
- W566799862 hasConceptScore W566799862C144024400 @default.
- W566799862 hasConceptScore W566799862C144133560 @default.
- W566799862 hasConceptScore W566799862C154945302 @default.
- W566799862 hasConceptScore W566799862C182306322 @default.
- W566799862 hasConceptScore W566799862C184337299 @default.
- W566799862 hasConceptScore W566799862C185592680 @default.
- W566799862 hasConceptScore W566799862C188027245 @default.
- W566799862 hasConceptScore W566799862C199360897 @default.
- W566799862 hasConceptScore W566799862C27508121 @default.
- W566799862 hasConceptScore W566799862C2779903281 @default.
- W566799862 hasConceptScore W566799862C2780138299 @default.
- W566799862 hasConceptScore W566799862C2780226545 @default.
- W566799862 hasConceptScore W566799862C2780510313 @default.
- W566799862 hasConceptScore W566799862C36289849 @default.
- W566799862 hasConceptScore W566799862C38652104 @default.
- W566799862 hasConceptScore W566799862C41008148 @default.
- W566799862 hasConceptScore W566799862C60048249 @default.
- W566799862 hasConceptScore W566799862C71139939 @default.
- W566799862 hasLocation W5667998621 @default.
- W566799862 hasOpenAccess W566799862 @default.
- W566799862 hasPrimaryLocation W5667998621 @default.
- W566799862 hasRelatedWork W136339372 @default.
- W566799862 hasRelatedWork W1484870153 @default.
- W566799862 hasRelatedWork W1516123197 @default.
- W566799862 hasRelatedWork W1518725080 @default.
- W566799862 hasRelatedWork W1557228712 @default.
- W566799862 hasRelatedWork W2021875789 @default.
- W566799862 hasRelatedWork W2066122542 @default.
- W566799862 hasRelatedWork W2156146240 @default.
- W566799862 hasRelatedWork W2385252966 @default.
- W566799862 hasRelatedWork W263492832 @default.
- W566799862 hasRelatedWork W2914058489 @default.
- W566799862 hasRelatedWork W2954672644 @default.
- W566799862 hasRelatedWork W2969775091 @default.
- W566799862 hasRelatedWork W2986017963 @default.
- W566799862 hasRelatedWork W3005851148 @default.
- W566799862 hasRelatedWork W3021756572 @default.
- W566799862 hasRelatedWork W3022551984 @default.
- W566799862 hasRelatedWork W3108530631 @default.
- W566799862 hasRelatedWork W807663550 @default.
- W566799862 hasRelatedWork W2147565280 @default.
- W566799862 hasVolume "97" @default.
- W566799862 isParatext "false" @default.
- W566799862 isRetracted "false" @default.
- W566799862 magId "566799862" @default.
- W566799862 workType "article" @default.