- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
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
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (when)
-
2016
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Technische Informationsbibliothek (TIB)
- (when)
-
2016
- Creator
-
Kontinen, Juha
Kuusisto, Antti
Virtema, Jonni
- DOI
-
10.15488/1949
- URN
-
urn:nbn:de:101:1-2020080807571502665501
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:00 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
- Kontinen, Juha
- Kuusisto, Antti
- Virtema, Jonni
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Time of origin
- 2016
Other Objects (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