Modal structures in groups and vector spaces

Abstract Vector spaces contain a number of general structures that invite analysis in modal languages. The resulting logical systems provide an interesting counterpart to the much better-studied modal logics of topological spaces. In this programmatic paper, we investigate issues of definability and...

Full description

Saved in:
Bibliographic Details
Published in:Journal of logic and computation 2024-01, Vol.34 (1), p.75-124
Main Authors: van Benthem, Johan, Bezhanishvili, Nick
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Abstract Vector spaces contain a number of general structures that invite analysis in modal languages. The resulting logical systems provide an interesting counterpart to the much better-studied modal logics of topological spaces. In this programmatic paper, we investigate issues of definability and axiomatization using standard techniques for modal and hybrid languages. The analysis proceeds in stages. We first present a modal analysis of commutative groups that establishes our main techniques, next we introduce a new modal logic of linear dependence and independence in vector spaces and, finally, we study a modal logic for describing full-fledged vector spaces. While still far from covering every basic aspect of linear algebra, our discussion identifies several leads for more systematic research.
ISSN:0955-792X
1465-363X
DOI:10.1093/logcom/exac105