Results 111 to 120 of about 178,207 (183)
Dynamic Logics of Imperfect Information: from Teams and Games to Transitions [PDF]
arXiv, 2011 We introduce a new semantical formalism for logics of imperfect information, based on Game Logic (and, in particular, on van Benthem, Ghosh and Lu's Concurrent Dynamic Game Logic). This new kind of semantics combines aspects from game theoretic semantics and from team semantics, and demonstrates how logics of imperfect information can be seen as ...
arxiv
computational aspects of logics in team semantics tutorial
, 2017 Team Semantics is a logical framework for the study of various dependency notions that are important in many areas of science. The starting point of this research is marked by the publication of the monograph Dependence Logic (Jouko Vaananen, 2007) in which first-order dependence logic is developed and studied.
openaire +5 more sources
Modular SAT-based techniques for reasoning tasks in team semantics
Journal of Computer and System SciencesWe study the complexity of reasoning tasks for logics in team semantics. Our main focus is on the data complexity of model checking but we also derive new results for logically defined counting and enumeration problems. Our approach is based on modular reductions of these problems into the corresponding problems of various classes of Boolean formulas ...
Arnaud Durand +2 more
openaire +3 more sources
A Double Team Semantics for Generalized Quantifiers [PDF]
arXiv, 2013 We define a semantics for first-order logic with generalized quantifiers based on double teams. We also define and investigate a notion of a generalized atom. Such atoms can be used in order to define extensions of first-order logic with a team-based semantics. We also define a game semantics and compare it with the double team semantics.
arxiv
Fragments of existential second-order logic and logics with team semantics
, 2019 Published by ...
Erich Grädel +2 more
openaire +2 more sources
Journal of Marine Science and EngineeringThe melting of Arctic ice has facilitated the successful navigation of merchant ships through the Arctic route, often requiring icebreakers for assistance.
Yongtao Xi +5 more
doaj +1 more source
Theorem proving support in programming language semantics [PDF]
, 2007 We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core +3 more sources
A flexible framework for defeasible logics [PDF]
, 2000 Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others.
David Billington +4 more
core +5 more sources
The power of the filtration technique for modal logics with team semantics
, 2017 Modal Team Logic (MTL) extends Väänänen's Modal Dependence Logic (MDL) by Boolean negation. Its satisfiability problem is decidable, but the exact complexity is not yet understood very well. We investigate a model-theoretical approach and generalize the successful filtration technique to work in team semantics.
openaire +4 more sources
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
, 2016 Let ML(U^+) denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We characterize the relative definability of ML(U^+) relative to finite transitive frames in the spirit of the well-known Goldblatt-Thomason theorem.
Jonni Virtema, Katsuhiko Sano
openaire +3 more sources