FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2554822349> ?p ?o ?g. }

• W2554822349 abstract "Labelled deductive systems(LDS) were formally introduced as a unifying framework for different logics. In the past LDS has been used when defining proof systems where the labelling algebra carries the semantic properties of the logic syntactically and this can be handled in parallel with the formulae. A hybrid system was proposed for modal logic where by modal formulae are combined with first order relational theory. Starting from Kripke semantics for modal logic we can use LDS to enable us to explicitly refer to worlds and relations. Each formula is combined with a label as wi:φ where the label indicates the possible world the formula belongs to. The aim of this project is to use this hybrid system to generate models for propositional modal logic. More specifically, the aim is to write and implement an algorithm that takes a set of labelled modal formulas (not necessarily in the same possible world) together with relations and frame properties expressed in first order logic and generates a model if one exists." @default.
• W2554822349 created "2016-11-30" @default.
• W2554822349 creator A5064731722 @default.
• W2554822349 date "2008-01-01" @default.
• W2554822349 modified "2023-09-26" @default.
• W2554822349 title "A Model Checking Tool for Modal Labelled Deductive Systems" @default.
• W2554822349 cites W133266254 @default.
• W2554822349 cites W1568333198 @default.
• W2554822349 cites W1605860778 @default.
• W2554822349 cites W1923495615 @default.
• W2554822349 cites W2610670723 @default.
• W2554822349 cites W71254099 @default.
• W2554822349 hasPublicationYear "2008" @default.
• W2554822349 type Work @default.
• W2554822349 sameAs 2554822349 @default.
• W2554822349 citedByCount "0" @default.
• W2554822349 crossrefType "journal-article" @default.
• W2554822349 hasAuthorship W2554822349A5064731722 @default.
• W2554822349 hasConcept C102993220 @default.
• W2554822349 hasConcept C111472728 @default.
• W2554822349 hasConcept C11191006 @default.
• W2554822349 hasConcept C114092440 @default.
• W2554822349 hasConcept C11413529 @default.
• W2554822349 hasConcept C121332964 @default.
• W2554822349 hasConcept C136119220 @default.
• W2554822349 hasConcept C136172866 @default.
• W2554822349 hasConcept C138885662 @default.
• W2554822349 hasConcept C160131679 @default.
• W2554822349 hasConcept C165801399 @default.
• W2554822349 hasConcept C172385210 @default.
• W2554822349 hasConcept C173125200 @default.
• W2554822349 hasConcept C184337299 @default.
• W2554822349 hasConcept C185592680 @default.
• W2554822349 hasConcept C188027245 @default.
• W2554822349 hasConcept C192609573 @default.
• W2554822349 hasConcept C199360897 @default.
• W2554822349 hasConcept C202444582 @default.
• W2554822349 hasConcept C203659156 @default.
• W2554822349 hasConcept C27508121 @default.
• W2554822349 hasConcept C2777796570 @default.
• W2554822349 hasConcept C33203268 @default.
• W2554822349 hasConcept C33923547 @default.
• W2554822349 hasConcept C41008148 @default.
• W2554822349 hasConcept C62520636 @default.
• W2554822349 hasConcept C71139939 @default.
• W2554822349 hasConcept C78344899 @default.
• W2554822349 hasConcept C80444323 @default.
• W2554822349 hasConceptScore W2554822349C102993220 @default.
• W2554822349 hasConceptScore W2554822349C111472728 @default.
• W2554822349 hasConceptScore W2554822349C11191006 @default.
• W2554822349 hasConceptScore W2554822349C114092440 @default.
• W2554822349 hasConceptScore W2554822349C11413529 @default.
• W2554822349 hasConceptScore W2554822349C121332964 @default.
• W2554822349 hasConceptScore W2554822349C136119220 @default.
• W2554822349 hasConceptScore W2554822349C136172866 @default.
• W2554822349 hasConceptScore W2554822349C138885662 @default.
• W2554822349 hasConceptScore W2554822349C160131679 @default.
• W2554822349 hasConceptScore W2554822349C165801399 @default.
• W2554822349 hasConceptScore W2554822349C172385210 @default.
• W2554822349 hasConceptScore W2554822349C173125200 @default.
• W2554822349 hasConceptScore W2554822349C184337299 @default.
• W2554822349 hasConceptScore W2554822349C185592680 @default.
• W2554822349 hasConceptScore W2554822349C188027245 @default.
• W2554822349 hasConceptScore W2554822349C192609573 @default.
• W2554822349 hasConceptScore W2554822349C199360897 @default.
• W2554822349 hasConceptScore W2554822349C202444582 @default.
• W2554822349 hasConceptScore W2554822349C203659156 @default.
• W2554822349 hasConceptScore W2554822349C27508121 @default.
• W2554822349 hasConceptScore W2554822349C2777796570 @default.
• W2554822349 hasConceptScore W2554822349C33203268 @default.
• W2554822349 hasConceptScore W2554822349C33923547 @default.
• W2554822349 hasConceptScore W2554822349C41008148 @default.
• W2554822349 hasConceptScore W2554822349C62520636 @default.
• W2554822349 hasConceptScore W2554822349C71139939 @default.
• W2554822349 hasConceptScore W2554822349C78344899 @default.
• W2554822349 hasConceptScore W2554822349C80444323 @default.
• W2554822349 hasLocation W25548223491 @default.
• W2554822349 hasOpenAccess W2554822349 @default.
• W2554822349 hasPrimaryLocation W25548223491 @default.
• W2554822349 hasRelatedWork W1492208416 @default.
• W2554822349 hasRelatedWork W1509441924 @default.
• W2554822349 hasRelatedWork W1535888907 @default.
• W2554822349 hasRelatedWork W1566446956 @default.
• W2554822349 hasRelatedWork W1582842241 @default.
• W2554822349 hasRelatedWork W1588790262 @default.
• W2554822349 hasRelatedWork W1887168638 @default.
• W2554822349 hasRelatedWork W2099036216 @default.
• W2554822349 hasRelatedWork W2099288776 @default.
• W2554822349 hasRelatedWork W2124145632 @default.
• W2554822349 hasRelatedWork W2127129973 @default.
• W2554822349 hasRelatedWork W2133922504 @default.
• W2554822349 hasRelatedWork W2164522856 @default.
• W2554822349 hasRelatedWork W2172284506 @default.
• W2554822349 hasRelatedWork W2183228833 @default.
• W2554822349 hasRelatedWork W2952939288 @default.
• W2554822349 hasRelatedWork W2963845050 @default.
• W2554822349 hasRelatedWork W2969534803 @default.
• W2554822349 hasRelatedWork W35550565 @default.
• W2554822349 hasRelatedWork W71254099 @default.
• W2554822349 isParatext "false" @default.

• next