OpenAlex
Completing the Picture: Complexity of Graded Modal Logics with Converse
Work
Year: 2021
Type: article
Abstract: A complete classification of the complexity of the local and global satisfiability problems for graded modal language over traditional classes of frames has already been established. By “traditional”... more
Source: Theory and Practice of Logic Programming
Authors Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
Institutions University of Wrocław, TU Dresden, Institute of Computer Science
Cites: 21
Cited by: 1
Related to: 10
FWCI: 0.111
Citation percentile (by year/subfield): 40.42
Topic: Logic, Reasoning, and Knowledge
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: hybrid