Completeness of certain bimodal logics for subset spaces

DOI10.1023/A:1016372523344MaRDI QIDQ1611248zbMATH OpenOpenAlexFDO

Authors M. Angela Weiss, Rohit Parikh

Publication date 21 August 2002

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1016372523344

zbMATH Keywords

logic of knowledgemulti-modal logicstopological reasoning

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Review text

The bimodal logic of subset spaces was introduced in a paper by \textit{A. Dabrowski, L. Moss} and \textit{R.~Parikh} [Ann. Pure Appl. Logic 78, No.~1-3, 73-110 (1996; Zbl 0861.68092)]. Several possible axioms for the logic of intersection-closed subset spaces were discussed there, too, but no complete axiomatization could be provided. A partial solution to that problem is given in the present paper. The authors call a subset frame \((X,{\mathcal O}),\) where \(X\) is a non-empty set and \({\mathcal O}\) a set of subsets of \(X,\) directed iff for all \(x\in X\) and \(U,V\in{\mathcal O}\) such that \(x\in U\cap V\) there exists \(W\in{\mathcal O}\) such that \(x\in W\subseteq (U\cap V).\) Then, a corresponding logical system is proposed and proved to be sound and complete for the class of directed spaces. The system contains a non-finitary axiom schema. This cannot be avoided, as is additionally shown in the paper. A theorem whose proof is contained in a forthcoming article by the first author will give a complete solution to the problem mentioned above.

Recommendations

• Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
• A modal logic for discretely descending chains of sets
• scientific article; zbMATH DE number 218547
• scientific article; zbMATH DE number 1989648
• Characterizing subset spaces as bi-topological structures

Cited in

(13)

• A hybrid logic for reasoning about knowledge and topology
• On bijunctive predicates over a finite set
• Characterizing subset spaces as bi-topological structures
• Logics for multi-subset spaces
• Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
• A Two-Dimensional Hybrid Logic of Subset Spaces
• scientific article; zbMATH DE number 4041867 (Why is no real title available?)
• scientific article; zbMATH DE number 2039010 (Why is no real title available?)
• Barwise Completeness Theorems for Some Biprobability Logics
• Topological facets of the logic of subset spaces (with emphasis on canonical models)
• scientific article; zbMATH DE number 2196591 (Why is no real title available?)
• A dynamic logic for learning theory
• The logic of framing effects

This page was built for publication: Completeness of certain bimodal logics for subset spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1611248)