A simple logic of functional dependence (Q2240545): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W3132707386 / rank
 
Normal rank
Property / cites work
 
Property / cites work: From IF to BI. A tale of dependence and separation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal languages and bounded fragments of predicate logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Changing a Semantics: Opportunism or Courage? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4050122 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4636030 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Team semantics for interventionist counterfactuals: observations vs. interventions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4113804 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3122692 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Guards, bounds, and generalized semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical Dynamics of Information and Interaction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5404483 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Everything else being equal: a modal logic for ceteris paribus preferences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Toward a dynamic logic of questions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995236 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Power structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dependency as Question Entailment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inquisitive Semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4578043 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Knowing Values and Public Inspection / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4845472 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Epistemic operators in dependence logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Axioms and algorithms for inferences involving probabilistic independence / rank
 
Normal rank
Property / cites work
 
Property / cites work: LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Restraining Power of Guards / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5874208 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dependence and independence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5267443 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of philosophical logic. Vol. 8 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4173340 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositional semantics for a language of imperfect information / rank
 
Normal rank
Property / cites work
 
Property / cites work: Explicating logical independence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Supervenience, Dependence, Disjunction / rank
 
Normal rank
Property / cites work
 
Property / cites work: The decidability of dependency in intuitionistic propositional logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics for first-order team properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Independence, randomness and the axiom of choice / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3077957 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tolerance logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multi-dimensional modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5433277 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3576736 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A knowledge based semantics of messages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3651576 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics of public communications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4499084 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3446107 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4599513 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional logics of dependence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cylindric modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Beyond Knowing That: A New Generation of Epistemic Logics / rank
 
Normal rank

Latest revision as of 00:47, 27 July 2024

scientific article
Language Label Description Also known as
English
A simple logic of functional dependence
scientific article

    Statements

    A simple logic of functional dependence (English)
    0 references
    0 references
    4 November 2021
    0 references
    functional dependence
    0 references
    generalized assignment semantics
    0 references
    modal logic
    0 references
    epistemic logic
    0 references
    logics of dependence
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers