- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
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
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (wann)
-
2017
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Technische Informationsbibliothek (TIB)
- (wann)
-
2017
- Urheber
- DOI
-
10.15488/3364
- URN
-
urn:nbn:de:101:1-2020072215094719772366
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Hella, Lauri
- Kuusisto, Antti
- Meier, Arne
- Virtema, Jonni
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Entstanden
- 2017
Ähnliche Objekte (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