Model checking and validity in propositional and modal inclusion logics
Work
Year: 2019
Type: article
Abstract: Propositional and modal inclusion logic are formalisms that belong to the family of logics based on team semantics. This article investigates the model checking and validity problems of these logics.... more
Source: Journal of Logic and Computation
Institutions Tampere University, Leibniz University Hannover, Statistics Finland, University of Helsinki, Hasselt University
Cites: 28
Cited by: 10
Related to: 10
FWCI: 0.844
Citation percentile (by year/subfield): 100
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green