Results 241 to 250 of about 9,818 (257)

Monadic Semantics, Team Logics and Substitution

2022
In this thesis we investigate the issue of non-substitutionality of propositional team logics, in particular propositional dependence logic, by semantic means. We establish a general language to discuss semantic systems for logics fundamentally based on consensus of truth in a class of objects.
openaire   +1 more source

Continuous Team Semantics

2020
Kontinen Juha, Hirvonen Åsa
openaire   +1 more source

Team Semantics for Spatial Reasoning: Locality and Separability.

2019
Team Semantics is a generalization of Tarski’s semantics for First Order Logic in which formulas are satisfied or not satisfied by sets of assignments. Despite being reducible to Tarskian semantics over First Order Logic, Team Semantics permits to extend it in novel ways, like for instance by means of new types of atoms that express dependencies ...
openaire   +2 more sources

Upwards closed dependencies in team semantics

Information and Computation, 2015
Pietro Galliani
exaly  

The team approach to cancer treatment

Ca-A Cancer Journal for Clinicians, 1967
exaly  

Improving patient and caregiver outcomes in oncology: Team-based, timely, and targeted palliative care

Ca-A Cancer Journal for Clinicians, 2018
Eduardo Bruera, David Hui, Camilla Zimmermann   +2 more
exaly  

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics

Lecture Notes in Computer Science
Pietro Galliani
exaly  

Modular SAT-based techniques for reasoning tasks in team semantics

Journal of Computer and System Sciences
Arnaud Durand, Juha Kontinen, Jouko Väänänen   +2 more
exaly  

A Dynamic Team Semantics for Marked Indefinites

openaire   +1 more source

The missing member of the breast-cancer team: “Breast self-examination”…

Ca-A Cancer Journal for Clinicians, 1950
exaly