Details
| Original language | English |
|---|---|
| Volume | abs/1609.06951 |
| Publication status | Published - 2016 |
Publication series
| Name | CoRR |
|---|
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Model Checking and Validity in Propositional and Modal Inclusion Logics. / Hella, Lauri; Kuusisto, Antti; Meier, Arne et al.
2016. (CoRR).
2016. (CoRR).
Research output: Working paper/Preprint › Technical report › Research
Hella, L, Kuusisto, A, Meier, A & Virtema, J 2016 'Model Checking and Validity in Propositional and Modal Inclusion Logics' CoRR. <http://arxiv.org/abs/1609.06951>
Hella, L., Kuusisto, A., Meier, A., & Virtema, J. (2016). Model Checking and Validity in Propositional and Modal Inclusion Logics. (CoRR). http://arxiv.org/abs/1609.06951
Hella L, Kuusisto A, Meier A, Virtema J. Model Checking and Validity in Propositional and Modal Inclusion Logics. 2016. (CoRR).
Download
@techreport{b8aea922695745de84ba8e36bd21c53c,
title = "Model Checking and Validity in Propositional and Modal Inclusion Logics",
author = "Lauri Hella and Antti Kuusisto and Arne Meier and Jonni Virtema",
year = "2016",
language = "English",
volume = "abs/1609.06951",
series = "CoRR",
type = "WorkingPaper",
}
Download
TY - UNPB
T1 - Model Checking and Validity in Propositional and Modal Inclusion Logics
AU - Hella, Lauri
AU - Kuusisto, Antti
AU - Meier, Arne
AU - Virtema, Jonni
PY - 2016
Y1 - 2016
M3 - Technical report
VL - abs/1609.06951
T3 - CoRR
BT - Model Checking and Validity in Propositional and Modal Inclusion Logics
ER -