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 …
applied to many application areas. It presents the central core of contemporary insight into …
Gibsonian affordances for roboticists
Using hypersets as an analytic tool, we compare traditionally Gibsonian (Chemero 2003;
Turvey 1992) and representationalist (Sahin et al. this issue) understandings of the …
Turvey 1992) and representationalist (Sahin et al. this issue) understandings of the …
[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 …
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 …
(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 …
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 …
“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 …
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 …
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 …
hereditarily finite sets, aimed at assigning a real number also to each hereditarily finite …