Characterising modal definability of team-based logics via the universal modality (Q2273015): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Characterizing Frame Definability in Team Semantics via the Universal Modality
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6484974
@@ Property / title @@
+Characterizing Frame Definability in Team Semantics via the Universal Modality (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.03063
@@ Property / zbMATH Open document ID: 1465.03063 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-662-47709-0_11
@@ Property / DOI: 10.1007/978-3-662-47709-0_11 / rank @@
+Normal rank
@@ Property / published in @@
+Logic, Language, Information, and Computation
@@ Property / published in: Logic, Language, Information, and Computation / rank @@
+Normal rank
@@ Property / publication date @@
+September 2015Timestamp +2015-09-24T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2015-09-24T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 24 September 2015 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6484974
@@ Property / zbMATH DE Number: 6484974 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963584125
@@ Property / OpenAlex ID: W2963584125 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1840895235
@@ Property / OpenAlex ID: W1840895235 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07884
@@ Property / arXiv ID: 1502.07884 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142029
@@ Property / cites work: Q3142029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation for extended modal languages
@@ Property / cites work: Interpolation for extended modal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Modal Dependence Logic $\mathcal{EMDL}$
@@ Property / cites work: Extended Modal Dependence Logic $\mathcal{EMDL}$ / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking for Modal Intuitionistic Dependence Logic
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088789
@@ Property / cites work: Q4088789 / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressive Power of Modal Dependence Logic
@@ Property / cites work: The Expressive Power of Modal Dependence Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modal independence logic:
@@ Property / cites work: Modal independence logic: / rank @@
+Normal rank
@@ Property / cites work @@
+A Van Benthem Theorem for Modal Team Semantics
@@ Property / cites work: A Van Benthem Theorem for Modal Team Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for modal dependence logic
@@ Property / cites work: Complexity results for modal dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice
+Normal rank
@@ Property / cites work @@
+Q2904062
@@ Property / cites work: Q2904062 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Propositional Dependence Logics
@@ Property / cites work: Axiomatizing Propositional Dependence Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic and Computational Properties of Modal Dependence Logic
+Normal rank
@@ Property / cites work @@
+Q4995356
@@ Property / cites work: Q4995356 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4599513
@@ Property / cites work: Q4599513 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on modal definability
@@ Property / cites work: Notes on modal definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532129
@@ Property / cites work: Q4532129 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity and Complexity of Dependence Logic
@@ Property / cites work: Expressivity and Complexity of Dependence Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+On the finite and general implication problems of independence atoms and keys
+Normal rank
@@ Property / cites work @@
+Reasoning About Embedded Dependencies Using Inclusion Dependencies
+Normal rank
@@ Property / cites work @@
+A finite axiomatization of conditional independence and inclusion dependencies
+Normal rank
@@ Property / cites work @@
+Dependence Logic vs. Constraint Satisfaction
@@ Property / cites work: Dependence Logic vs. Constraint Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of modal logic with inclusion atoms
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732440
@@ Property / cites work: Q4732440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362727
@@ Property / cites work: Q4362727 / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalization of Modal Frame Definability
@@ Property / cites work: A Generalization of Modal Frame Definability / rank @@
+Normal rank
@@ Property / cites work @@
+Some characterization and preservation theorems in modal logic
+Normal rank
@@ Property / cites work @@
+Characterising modal definability of team-based logics via the universal modality
+Normal rank
@@ Property / cites work @@
+Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of validity for propositional dependence logics
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2273015

Latest revision as of 10:57, 20 July 2024

scientific article; zbMATH DE number 6484974

Characterizing Frame Definability in Team Semantics via the Universal Modality

Language	Label	Description	Also known as
English	Characterising modal definability of team-based logics via the universal modality	scientific article; zbMATH DE number 6484974	Characterizing Frame Definability in Team Semantics via the Universal Modality

Statements

instance of

scholarly article

0 references

title

Characterising modal definability of team-based logics via the universal modality (English)

0 references

Characterizing Frame Definability in Team Semantics via the Universal Modality (English)

0 references

0 references

0 references

Annals of Pure and Applied Logic

0 references

Logic, Language, Information, and Computation

0 references

publication date

18 September 2019

0 references

24 September 2015

0 references

full work available at URL

https://arxiv.org/abs/1502.07884

0 references

review text

Universal modality is the genuine Leibnizian notion of modality, especially universal necessity. This idea implies truth always, in all possible situations, independent and free of any kind of accessibility relation. This clear and precise paper deals with a modal logic in which any occurrence of a universal modality is positive. For this fragment, a result relating definability with ways to build models and frames in modal logic is proved (i.e Goldblatt-Thomason theorem). Moreover, this subsystem is also considered and studied in the realm of team semantics.

0 references

reviewed by

Alexandre Costa-Leite

0 references

zbMATH Keywords

model definability

0 references

frame definability

0 references

team semantics

0 references

universal modality