Axiomatizing first-order consequences in dependence logic (Q388209): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Juha Kontinen / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Jouko Väänänen / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C80 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C85 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68P15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6239425 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
dependence logic | |||
Property / zbMATH Keywords: dependence logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
game logic | |||
Property / zbMATH Keywords: game logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
independence logic | |||
Property / zbMATH Keywords: independence logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
independence-friendly logic | |||
Property / zbMATH Keywords: independence-friendly logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
natural deduction | |||
Property / zbMATH Keywords: natural deduction / rank | |||
Normal rank |
Revision as of 14:25, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Axiomatizing first-order consequences in dependence logic |
scientific article |
Statements
Axiomatizing first-order consequences in dependence logic (English)
0 references
19 December 2013
0 references
dependence logic
0 references
game logic
0 references
independence logic
0 references
independence-friendly logic
0 references
natural deduction
0 references