OpenAlex
Model Checking and Validity in Propositional and Modal Inclusion Logics
Work
Year: 2017
Type: article
Source: Mathematical Foundations of Computer Science
Authors Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
Institutions Tampere University, University of Bremen, Leibniz University Hannover
Cites:
Cited by: 8
Related to: 20
FWCI: 0.374
Citation percentile (by year/subfield): 44.26
Topic: Logic, Reasoning, and Knowledge
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed