DE eng

Search in the Catalogues and Directories

Hits 1 – 2 of 2

1
The modal logic of cluster-decomposable Kripke interpretations
In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 48 (2007) 4, 511-520
BLLDB
OLC Linguistik
Show details
2
The Expressive Power of Second-Order Propositional Modal Logic
In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 37 (1996) 1, 35-43
OLC Linguistik
Show details

Catalogues
0
0
2
0
0
0
0
Bibliographies
1
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
0
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern