Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567367993> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1567367993 endingPage "250" @default.
- W1567367993 startingPage "227" @default.
- W1567367993 abstract "In this paper we prove that adding a confluence axiom to a modal logic which behaves rather well from the viewpoint of complexity of the satisfaction problem, drastically increases its complexity and blows it up from PSPACE-completeness to NEXPTIME-completeness. More precisely, we investigate here both monomodal K + confluence and bimodal K with confluence between the two modalities." @default.
- W1567367993 created "2016-06-24" @default.
- W1567367993 creator A5012406395 @default.
- W1567367993 date "2006-05-01" @default.
- W1567367993 modified "2023-10-01" @default.
- W1567367993 title "On the influence of confluence in modal logics" @default.
- W1567367993 cites W1495949270 @default.
- W1567367993 cites W1527720545 @default.
- W1567367993 cites W1978169673 @default.
- W1567367993 cites W2013243527 @default.
- W1567367993 cites W2073491323 @default.
- W1567367993 cites W2119862664 @default.
- W1567367993 hasPublicationYear "2006" @default.
- W1567367993 type Work @default.
- W1567367993 sameAs 1567367993 @default.
- W1567367993 citedByCount "0" @default.
- W1567367993 crossrefType "journal-article" @default.
- W1567367993 hasAuthorship W1567367993A5012406395 @default.
- W1567367993 hasConcept C114092440 @default.
- W1567367993 hasConcept C11413529 @default.
- W1567367993 hasConcept C118615104 @default.
- W1567367993 hasConcept C134306372 @default.
- W1567367993 hasConcept C167729594 @default.
- W1567367993 hasConcept C17231256 @default.
- W1567367993 hasConcept C179799912 @default.
- W1567367993 hasConcept C185592680 @default.
- W1567367993 hasConcept C188027245 @default.
- W1567367993 hasConcept C197685441 @default.
- W1567367993 hasConcept C199343813 @default.
- W1567367993 hasConcept C199360897 @default.
- W1567367993 hasConcept C2524010 @default.
- W1567367993 hasConcept C27508121 @default.
- W1567367993 hasConcept C2777686260 @default.
- W1567367993 hasConcept C33923547 @default.
- W1567367993 hasConcept C41008148 @default.
- W1567367993 hasConcept C71139939 @default.
- W1567367993 hasConcept C71924100 @default.
- W1567367993 hasConcept C77906462 @default.
- W1567367993 hasConceptScore W1567367993C114092440 @default.
- W1567367993 hasConceptScore W1567367993C11413529 @default.
- W1567367993 hasConceptScore W1567367993C118615104 @default.
- W1567367993 hasConceptScore W1567367993C134306372 @default.
- W1567367993 hasConceptScore W1567367993C167729594 @default.
- W1567367993 hasConceptScore W1567367993C17231256 @default.
- W1567367993 hasConceptScore W1567367993C179799912 @default.
- W1567367993 hasConceptScore W1567367993C185592680 @default.
- W1567367993 hasConceptScore W1567367993C188027245 @default.
- W1567367993 hasConceptScore W1567367993C197685441 @default.
- W1567367993 hasConceptScore W1567367993C199343813 @default.
- W1567367993 hasConceptScore W1567367993C199360897 @default.
- W1567367993 hasConceptScore W1567367993C2524010 @default.
- W1567367993 hasConceptScore W1567367993C27508121 @default.
- W1567367993 hasConceptScore W1567367993C2777686260 @default.
- W1567367993 hasConceptScore W1567367993C33923547 @default.
- W1567367993 hasConceptScore W1567367993C41008148 @default.
- W1567367993 hasConceptScore W1567367993C71139939 @default.
- W1567367993 hasConceptScore W1567367993C71924100 @default.
- W1567367993 hasConceptScore W1567367993C77906462 @default.
- W1567367993 hasIssue "3" @default.
- W1567367993 hasLocation W15673679931 @default.
- W1567367993 hasOpenAccess W1567367993 @default.
- W1567367993 hasPrimaryLocation W15673679931 @default.
- W1567367993 hasRelatedWork W1485990531 @default.
- W1567367993 hasRelatedWork W1495949270 @default.
- W1567367993 hasRelatedWork W1552192642 @default.
- W1567367993 hasRelatedWork W1553795626 @default.
- W1567367993 hasRelatedWork W1721572253 @default.
- W1567367993 hasRelatedWork W1990462751 @default.
- W1567367993 hasRelatedWork W1999165408 @default.
- W1567367993 hasRelatedWork W2019813941 @default.
- W1567367993 hasRelatedWork W2048592740 @default.
- W1567367993 hasRelatedWork W2053892987 @default.
- W1567367993 hasRelatedWork W2132862307 @default.
- W1567367993 hasRelatedWork W2134850491 @default.
- W1567367993 hasRelatedWork W2147579323 @default.
- W1567367993 hasRelatedWork W2161518325 @default.
- W1567367993 hasRelatedWork W2240236149 @default.
- W1567367993 hasRelatedWork W2287532945 @default.
- W1567367993 hasRelatedWork W2343671770 @default.
- W1567367993 hasRelatedWork W2568815622 @default.
- W1567367993 hasRelatedWork W3015271777 @default.
- W1567367993 hasRelatedWork W3101494358 @default.
- W1567367993 hasVolume "70" @default.
- W1567367993 isParatext "false" @default.
- W1567367993 isRetracted "false" @default.
- W1567367993 magId "1567367993" @default.
- W1567367993 workType "article" @default.