Logics for contact and measure
From MaRDI portal
Cites work
- A calculus of regions respecting both measure and topology
- A representation theorem for Boolean contact algebras
- Admissibility of logical inference rules
- Combining topological and size information for spatial reasoning
- Contact logic is finitary for unification with constants
- Dynamic logics of the region-based theory of discrete spaces
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 1219584 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 5241969 (Why is no real title available?)
- scientific article; zbMATH DE number 3304085 (Why is no real title available?)
- scientific article; zbMATH DE number 3353239 (Why is no real title available?)
- scientific article; zbMATH DE number 3366923 (Why is no real title available?)
- Introduction to Boolean Algebras
- Intuitive Probability on Finite Sets
- Measurement structures and linear inequalities
- Probability logics. Probability-based formalization of uncertain reasoning
- Process and reality. An essay in cosmology.
- Qualitative modalities
- Qualitative probability as an intensional logic
- Qualitative spatial representation and reasoning: An overview
- Real analysis
- Region-based theory of space: algebras of regions, representation theory, and logics
- Relational Methods in Computer Science
- Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
- The logic of qualitative probability
- Unification in modal and description logics
This page was built for publication: Logics for contact and measure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6867729)
