FRINK Linked Data Fragments server

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

• W1867463642 abstract "In this paper we present a prefixed analytic tableau calculus for a class of normal multimodal logics and we present some results about decidability and undecidability of this class. The class is characterized by axioms of the form [t 1] ... [t n]ϕ ⊃ [s 1] ... [s m]ϕ, called inclusion axioms, where the t i’s and s j’s are constants. This class of logics, called grammar logics, was introduced for the first time by Farinas del Cerro and Penttonen to simulate the behaviour of grammars in modal logics, and includes some well-known modal systems. The prefixed tableau method is used to prove the undecidability of modal systems based on unrestricted, context sensitive, and context free grammars. Moreover, we show that the class of modal logics, based on right-regular grammars, are decidable by means of the filtration methods, by defining an extension of the Fischer-Ladner closure." @default.
• W1867463642 created "2016-06-24" @default.
• W1867463642 creator A5002078119 @default.
• W1867463642 creator A5038489315 @default.
• W1867463642 creator A5050621300 @default.
• W1867463642 date "1998-01-01" @default.
• W1867463642 modified "2023-09-28" @default.
• W1867463642 title "A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results" @default.
• W1867463642 cites W1481660686 @default.
• W1867463642 cites W1486653873 @default.
• W1867463642 cites W1500313660 @default.
• W1867463642 cites W1519261277 @default.
• W1867463642 cites W1555569636 @default.
• W1867463642 cites W1567530468 @default.
• W1867463642 cites W1570374618 @default.
• W1867463642 cites W1608796453 @default.
• W1867463642 cites W2017094488 @default.
• W1867463642 cites W2053892987 @default.
• W1867463642 cites W2062879749 @default.
• W1867463642 cites W2063582240 @default.
• W1867463642 cites W2069709605 @default.
• W1867463642 cites W2076073997 @default.
• W1867463642 cites W2088374045 @default.
• W1867463642 cites W2113030260 @default.
• W1867463642 cites W2113316597 @default.
• W1867463642 cites W2135953325 @default.
• W1867463642 cites W2164522856 @default.
• W1867463642 cites W2169882082 @default.
• W1867463642 cites W4247797067 @default.
• W1867463642 doi "https://doi.org/10.1007/3-540-69778-0_13" @default.
• W1867463642 hasPublicationYear "1998" @default.
• W1867463642 type Work @default.
• W1867463642 sameAs 1867463642 @default.
• W1867463642 citedByCount "29" @default.
• W1867463642 countsByYear W18674636422012 @default.
• W1867463642 countsByYear W18674636422013 @default.
• W1867463642 countsByYear W18674636422014 @default.
• W1867463642 countsByYear W18674636422020 @default.
• W1867463642 countsByYear W18674636422021 @default.
• W1867463642 crossrefType "book-chapter" @default.
• W1867463642 hasAuthorship W1867463642A5002078119 @default.
• W1867463642 hasAuthorship W1867463642A5038489315 @default.
• W1867463642 hasAuthorship W1867463642A5050621300 @default.
• W1867463642 hasConcept C11191006 @default.
• W1867463642 hasConcept C114092440 @default.
• W1867463642 hasConcept C118615104 @default.
• W1867463642 hasConcept C136119220 @default.
• W1867463642 hasConcept C146834321 @default.
• W1867463642 hasConcept C151730666 @default.
• W1867463642 hasConcept C153269930 @default.
• W1867463642 hasConcept C154945302 @default.
• W1867463642 hasConcept C162324750 @default.
• W1867463642 hasConcept C167729594 @default.
• W1867463642 hasConcept C185592680 @default.
• W1867463642 hasConcept C188027245 @default.
• W1867463642 hasConcept C199343813 @default.
• W1867463642 hasConcept C199360897 @default.
• W1867463642 hasConcept C202444582 @default.
• W1867463642 hasConcept C2524010 @default.
• W1867463642 hasConcept C27508121 @default.
• W1867463642 hasConcept C2777212361 @default.
• W1867463642 hasConcept C2777686260 @default.
• W1867463642 hasConcept C2778029271 @default.
• W1867463642 hasConcept C2779343474 @default.
• W1867463642 hasConcept C33923547 @default.
• W1867463642 hasConcept C34447519 @default.
• W1867463642 hasConcept C41008148 @default.
• W1867463642 hasConcept C53893814 @default.
• W1867463642 hasConcept C71139939 @default.
• W1867463642 hasConcept C71924100 @default.
• W1867463642 hasConcept C86803240 @default.
• W1867463642 hasConcept C97212296 @default.
• W1867463642 hasConceptScore W1867463642C11191006 @default.
• W1867463642 hasConceptScore W1867463642C114092440 @default.
• W1867463642 hasConceptScore W1867463642C118615104 @default.
• W1867463642 hasConceptScore W1867463642C136119220 @default.
• W1867463642 hasConceptScore W1867463642C146834321 @default.
• W1867463642 hasConceptScore W1867463642C151730666 @default.
• W1867463642 hasConceptScore W1867463642C153269930 @default.
• W1867463642 hasConceptScore W1867463642C154945302 @default.
• W1867463642 hasConceptScore W1867463642C162324750 @default.
• W1867463642 hasConceptScore W1867463642C167729594 @default.
• W1867463642 hasConceptScore W1867463642C185592680 @default.
• W1867463642 hasConceptScore W1867463642C188027245 @default.
• W1867463642 hasConceptScore W1867463642C199343813 @default.
• W1867463642 hasConceptScore W1867463642C199360897 @default.
• W1867463642 hasConceptScore W1867463642C202444582 @default.
• W1867463642 hasConceptScore W1867463642C2524010 @default.
• W1867463642 hasConceptScore W1867463642C27508121 @default.
• W1867463642 hasConceptScore W1867463642C2777212361 @default.
• W1867463642 hasConceptScore W1867463642C2777686260 @default.
• W1867463642 hasConceptScore W1867463642C2778029271 @default.
• W1867463642 hasConceptScore W1867463642C2779343474 @default.
• W1867463642 hasConceptScore W1867463642C33923547 @default.
• W1867463642 hasConceptScore W1867463642C34447519 @default.
• W1867463642 hasConceptScore W1867463642C41008148 @default.
• W1867463642 hasConceptScore W1867463642C53893814 @default.
• W1867463642 hasConceptScore W1867463642C71139939 @default.
• W1867463642 hasConceptScore W1867463642C71924100 @default.
• W1867463642 hasConceptScore W1867463642C86803240 @default.

• next