DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Dependence logic
Dependence logic
On the Succinctness of Atoms of Dependency
Bunched Logics a Uniform Approach
Contributed Talk Abstracts1
The Modal Logic of Functional Dependence
The Dynamics of Imperfect Information
Axiomatizations for Propositional and Modal Team Logic
Martin Lück. Team Logic: Axioms, Expressiveness, Complexity
Computational Aspects of Dependence Logic
Truth, Proof and Gödelian Arguments: a Defence of Tarskian Truth In
Dependence Logic: Investigations Into Higher-Order Semantics Defined on Teams
Instantial Logic
Lottery Semantics 30
Top View