- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Hella, L.; Kuusisto, A.; Meier, A.; Virtema, J.: Model checking and validity in propositional and modal inclusion logics. In: Leibniz International Proceedings in Informatics, LIPIcs 83 (2017), 32. DOI: https://doi.org/10.4230/LIPIcs.MFCS.2017.32
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (when)
-
2017
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Technische Informationsbibliothek (TIB)
- (when)
-
2017
- Creator
- DOI
-
10.15488/3364
- URN
-
urn:nbn:de:101:1-2020072215094719772366
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:59 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
- Hella, Lauri
- Kuusisto, Antti
- Meier, Arne
- Virtema, Jonni
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Time of origin
- 2017
Other Objects (12)
Labelled propositional modal logics : theory and practice
Infinite state model checking of propositional dynamic logics
A Modal View on Resource-Bounded Propositional Logics
Correction to: A Modal View on Resource-Bounded Propositional Logics
Axiomatizing propositional dependence logics
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Axiomatizations for propositional and modal team logic
Lattices of modal logics
On quantified propositional logics and the exponential time hierarchy
Terminological logics with modal operators
Fusions of Modal Logics Revisited
Labelled propositional modal logics : theory and practice
Infinite state model checking of propositional dynamic logics
A Modal View on Resource-Bounded Propositional Logics
Correction to: A Modal View on Resource-Bounded Propositional Logics
Axiomatizing propositional dependence logics
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Axiomatizations for propositional and modal team logic
Lattices of modal logics
On quantified propositional logics and the exponential time hierarchy
Terminological logics with modal operators
Fusions of Modal Logics Revisited
Labelled propositional modal logics : theory and practice
Infinite state model checking of propositional dynamic logics
A Modal View on Resource-Bounded Propositional Logics
Correction to: A Modal View on Resource-Bounded Propositional Logics
Axiomatizing propositional dependence logics
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Axiomatizations for propositional and modal team logic
Lattices of modal logics
On quantified propositional logics and the exponential time hierarchy
Terminological logics with modal operators