- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Kontinen, J.; Kuusisto, A.; Virtema, J.: Decidability of predicate logics with team semantics. In: Leibniz International Proceedings in Informatics, LIPIcs 58 (2016), No. 60. DOI: https://doi.org/10.4230/LIPIcs.MFCS.2016.60
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (wann)
-
2016
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Technische Informationsbibliothek (TIB)
- (wann)
-
2016
- Urheber
-
Kontinen, Juha
Kuusisto, Antti
Virtema, Jonni
- DOI
-
10.15488/1949
- URN
-
urn:nbn:de:101:1-2020080807571502665501
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:00 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
- Kontinen, Juha
- Kuusisto, Antti
- Virtema, Jonni
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Entstanden
- 2016
Ähnliche Objekte (12)
Logics with Multiteam Semantics
Predicate calculus and program semantics
Factoring Predicate Argument and Scope Semantics : underspecified Semantics with LTAG
Factoring predicate argument and scope semantics : underspecified semantics with LTAG
Fragments of existential second-order logic and logics with team semantics
The power of the filtration technique for modal logics with team semantics
An alternative semantics for modal predicate-logic
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
On A New Semantics for First-Order Predicate Logic
Exact Truthmaker Semantics for Modal Logics
Predicate Transformer Semantics for Hybrid Systems : Verification Components for Isabelle/HOL
A general algebraic semantics for sentenial [sentential] logics
Logics with Multiteam Semantics
Predicate calculus and program semantics
Factoring Predicate Argument and Scope Semantics : underspecified Semantics with LTAG
Factoring predicate argument and scope semantics : underspecified semantics with LTAG
Fragments of existential second-order logic and logics with team semantics
The power of the filtration technique for modal logics with team semantics
An alternative semantics for modal predicate-logic
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
On A New Semantics for First-Order Predicate Logic
Exact Truthmaker Semantics for Modal Logics
Predicate Transformer Semantics for Hybrid Systems : Verification Components for Isabelle/HOL
A general algebraic semantics for sentenial [sentential] logics
Logics with Multiteam Semantics
Predicate calculus and program semantics
Factoring Predicate Argument and Scope Semantics : underspecified Semantics with LTAG
Factoring predicate argument and scope semantics : underspecified semantics with LTAG
Fragments of existential second-order logic and logics with team semantics
The power of the filtration technique for modal logics with team semantics
An alternative semantics for modal predicate-logic
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
On A New Semantics for First-Order Predicate Logic
Exact Truthmaker Semantics for Modal Logics
Predicate Transformer Semantics for Hybrid Systems : Verification Components for Isabelle/HOL