Results 251 to 257 of about 9,818 (257)

Decidability of Predicate Logics with Team Semantics

Jonni Virtema, Juha Kontinen, Antti Kuusisto   +2 more
exaly  

Counting in Team Semantics

Erich Grädel
exaly  

Team Semantics for the Specification and Verification of Hyperproperties

Jonni Virtema, Martin Zimmermann, Arne Meier   +2 more
exaly  

A Van Benthem Theorem for Modal Team Semantics

Juha Kontinen
exaly  

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

Richard Wilke
exaly  

Computational Aspects of Logics in Team Semantics (Tutorial)

exaly  

Planning Teams with Semantic Web Technologies.

Susanne Richter, Robert Tolksdorf
openaire   +1 more source