[HTML][HTML] Complexity of modal logics with Presburger constraints
S Demri, D Lugiez - Journal of Applied Logic, 2010 - Elsevier
We introduce the Extended Modal Logic EML with regularity constraints and full Presburger
constraints on the number of children that generalize graded modalities, also known as …
constraints on the number of children that generalize graded modalities, also known as …
[PDF][PDF] Complexity of Modal Logics with Presburger Constraints
S Demri, D Lugiez - 2008 - lsv.ens-cachan.fr
We introduce the extended modal logic EXML with regularity constraints and full Presburger
constraints on the number of children that generalize graded modalities, also known as …
constraints on the number of children that generalize graded modalities, also known as …
[PDF][PDF] Complexity of Modal Logics with Presburger Constraints
S Demri, D Lugiez - 2008 - Citeseer
We introduce the extended modal logic EXML with regularity constraints and full Presburger
constraints on the number of children that generalize graded modalities, also known as …
constraints on the number of children that generalize graded modalities, also known as …
[引用][C] Complexity of modal logics with Presburger constraints
S Demri, D Lugiez - Journal of Applied Logic, 2010 - philpapers.org
Stéphane Demri & Denis Lugiez, Complexity of modal logics with Presburger constraints -
PhilPapers Sign in | Create an account PhilPapers PhilPeople PhilArchive PhilEvents PhilJobs …
PhilPapers Sign in | Create an account PhilPapers PhilPeople PhilArchive PhilEvents PhilJobs …
[PDF][PDF] Complexity of Modal Logics with Presburger Constraints1
S Demria, D Lugiezb - lsv.ens-cachan.fr
We introduce the extended modal logic EML with regularity constraints and full Presburger
constraints on the number of children that generalize graded modalities, also known as …
constraints on the number of children that generalize graded modalities, also known as …
Complexity of Modal Logics with Presburger Constraints
S Demri, D Lugiez - Journal of Applied Logic, 2010 - hal.science
We introduce the extended modal logic EML with regularity constraints and full Presburger
constraints on the number of children that generalize graded modalities, also known as …
constraints on the number of children that generalize graded modalities, also known as …
[PDF][PDF] Complexity of modal logics with Presburger constraints
S Demri, D Lugiez - Journal of Applied Logic, 2010 - core.ac.uk
We introduce the Extended Modal Logic EML with regularity constraints and full Presburger
constraints on the number of children that generalize graded modalities, also known as …
constraints on the number of children that generalize graded modalities, also known as …
Complexity of modal logics with Presburger constraints
S Demri, D Lugiez - Journal of Applied Logic, 2010 - infona.pl
We introduce the Extended Modal Logic EML with regularity constraints and full Presburger
constraints on the number of children that generalize graded modalities, also known as …
constraints on the number of children that generalize graded modalities, also known as …
[PDF][PDF] Complexity of Modal Logics with Presburger Constraints
S Demri, D Lugiez - 2008 - lsv.fr
We introduce the extended modal logic EXML with regularity constraints and full Presburger
constraints on the number of children that generalize graded modalities, also known as …
constraints on the number of children that generalize graded modalities, also known as …
[PDF][PDF] Complexity of Modal Logics with Presburger Constraints1
S Demria, D Lugiezb - lsv.fr
We introduce the extended modal logic EML with regularity constraints and full Presburger
constraints on the number of children that generalize graded modalities, also known as …
constraints on the number of children that generalize graded modalities, also known as …