5 model theory of modal logic

V Goranko, M Otto - Studies in Logic and Practical Reasoning, 2007 - Elsevier
Publisher Summary This chapter presents a theoretical analysis of modal logic that can be
applied to many application areas. It presents the central core of contemporary insight into …

Gibsonian affordances for roboticists

A Chemero, MT Turvey - Adaptive Behavior, 2007 - journals.sagepub.com
Using hypersets as an analytic tool, we compare traditionally Gibsonian (Chemero 2003;
Turvey 1992) and representationalist (Sahin et al. this issue) understandings of the …

Autonomy and hypersets

A Chemero, MT Turvey - Biosystems, 2008 - Elsevier
This paper has two primary aims. The first is to provide an introductory discussion of
hyperset theory and its usefulness for modeling complex systems. The second aim is to …

[HTML][HTML] Set graphs. I. Hereditarily finite sets and extensional acyclic orientations

M Milanič, AI Tomescu - Discrete Applied Mathematics, 2013 - Elsevier
A graph G is said to be a set graph if it admits an acyclic orientation which is also
extensional, in the sense that the out-neighborhoods of its vertices are pairwise distinct …

Mapping sets and hypersets into numbers

G D'Agostino, EG Omodeo, A Policriti… - Fundamenta …, 2015 - content.iospress.com
Mapping Sets and Hypersets into Numbers Introduction Page 1 Fundamenta Informaticae 140
(2015) 307–328 307 DOI 10.3233/FI-2015-1256 IOS Press Mapping Sets and Hypersets into …

Nature of motor control: not strictly “motor”, not quite “control”

MT Turvey - Progress in motor control: A multidisciplinary …, 2009 - Springer
The five chapters directed at the Nature of Motor Control share much in common: they are
concept oriented, each expressing respect for the level of abstraction needed to meet the …

Capturing LOGSPACE over hereditarily-finite sets

A Leontjev, V Sazonov - … of Information and Knowledge Systems: First …, 2000 - Springer
Two versions of a set theoretic δ-language are considered as theoretical prototypes for
“nested” data base query language where data base states and queries are represented …

Using agents for concurrent querying of web-like databases via a hyper-set-theoretic approach

V Sazonov - International Andrei Ershov Memorial Conference on …, 2001 - Springer
The aim of this paper is to present a brief outline of a further step in the ongoing work
concerning the hyper-set-theoretic approach to (unstructured) distributed Web-like …

Querying hyperset/web-like databases

V Sazonov - Logic Journal of the IGPL, 2006 - ieeexplore.ieee.org
Hyperset approach to Web-like (semistructured) databases is presented in a simple and
intuitive way, hopefully for a wider audience, with demonstrating how this abstract view can …

On generalised Ackermann encodings–the basis issue

S Boscaratto, E Omodeo, A Policriti - CEUR WORKSHOP …, 2024 - arts.units.it
In this paper, a generalised version A𝛽 of the celebrated Ackermann encoding of the
hereditarily finite sets, aimed at assigning a real number also to each hereditarily finite …