AI Chat AI Image Generator AI Video Text to Speech

Modal Logics for Topological Spaces

07/26/2000

∙

by Konstantinos Georgatos, et al.

∙

∙

In this thesis we shall present two logical systems, MP and MP, for the purpose of reasoning about knowledge and effort. These logical systems will be interpreted in a spatial context and therefore, the abstract concepts of knowledge and effort will be defined by concrete mathematical concepts.

page 1

page 2

page 3

page 4

research

∙ 07/08/2020

Closure hyperdoctrines, with paths

Spatial logics are modal logics whose modalities are interpreted using t...

0 Davide Castelnovo, et al. ∙

research

∙ 08/14/2019

Architecture and evolution of semantic networks in mathematics texts

Knowledge is a network of interconnected concepts. Yet, precisely how th...

0 Nicolas H. Christianson, et al. ∙

research

∙ 10/16/2017

Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning

Several logical operators are defined as dual pairs, in different types ...

0 Marc Aiguier, et al. ∙

research

∙ 03/20/2022

Qualia as physical measurements: a mathematical model of qualia and pure concepts

A space of qualia is defined to be a sober topological space whose point...

0 Pedro Resende, et al. ∙

research

∙ 10/18/2021

Semantic network analysis of abstract and concrete word associations

In recent years, a new interest for the use of graph-theory based networ...

0 Dounia Lakhzoum, et al. ∙

research

∙ 06/29/2020

Access-based Intuitionistic Knowledge

We introduce the concept of access-based intuitionistic knowledge which ...

0 Steffen Lewitzka, et al. ∙

research

∙ 03/20/2013

Truth as Utility: A Conceptual Synthesis

This paper introduces conceptual relations that synthesize utilitarian a...

0 Enrique H. Ruspini, et al. ∙