- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Sano, K.; Virtema, J.: Axiomatizing propositional dependence logics. In: Leibniz International Proceedings in Informatics, LIPIcs 41 (2015), S. 292-307. DOI: https://doi.org/10.4230/LIPIcs.CSL.2015.292
- Classification
-
Philosophie
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (when)
-
2015
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Technische Informationsbibliothek (TIB)
- (when)
-
2015
- Creator
-
Sano, Katsuhiko
Virtema, Jonni
- DOI
-
10.15488/856
- URN
-
urn:nbn:de:101:1-2020072214434312941994
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:44 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Sano, Katsuhiko
- Virtema, Jonni
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Time of origin
- 2015
Other Objects (12)
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Labelled propositional modal logics : theory and practice
Infinite state model checking of propositional dynamic logics
A Modal View on Resource-Bounded Propositional Logics
On quantified propositional logics and the exponential time hierarchy
Correction to: A Modal View on Resource-Bounded Propositional Logics
A CERTAIN CLASSIFICATION OF THE HEYTING-BROUWER INTERMEDIATE PROPOSITIONAL LOGICS
Model checking and validity in propositional and modal inclusion logics
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Logics of Dependence and Independence : The Local Variants
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Labelled propositional modal logics : theory and practice
Infinite state model checking of propositional dynamic logics
A Modal View on Resource-Bounded Propositional Logics
On quantified propositional logics and the exponential time hierarchy
Correction to: A Modal View on Resource-Bounded Propositional Logics
A CERTAIN CLASSIFICATION OF THE HEYTING-BROUWER INTERMEDIATE PROPOSITIONAL LOGICS
Model checking and validity in propositional and modal inclusion logics
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Logics of Dependence and Independence : The Local Variants
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Labelled propositional modal logics : theory and practice
Infinite state model checking of propositional dynamic logics
A Modal View on Resource-Bounded Propositional Logics
On quantified propositional logics and the exponential time hierarchy
Correction to: A Modal View on Resource-Bounded Propositional Logics
A CERTAIN CLASSIFICATION OF THE HEYTING-BROUWER INTERMEDIATE PROPOSITIONAL LOGICS
Model checking and validity in propositional and modal inclusion logics
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic