Quotient Dynamics: The Logic of Abstraction (original) (raw)
Related papers
Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples
Logic, Epistemology, and the Unity of Science, 2004
Modelling phenomena and dynamic logic of phenomena
Journal of Applied Non-Classical Logics, 2012
Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples
Preliminaries to Classical First Order Model Theory
Logical Dynamics and Dynamical Systems (PhD Thesis)
Lund University Publications, 2018
Reductionist and anti-reductionist perspectives on dynamics
Philosophical Psychology, 2002
Towards a formal semantics for a structurally dynamic noncausal modelling language
2012
Modeling phenomena and dynamic logic of phenomena
Leonid Perlovsky, Boris Kovalerchuk
Language-based Abstractions for Dynamical Systems
Electronic Proceedings in Theoretical Computer Science
Modeling of Phenomena and Dynamic Logic of Phenomena
Gregory Wheeler, Boris Kovalerchuk
2011
The Mathematics of Abstraction: Preliminary Results
A Real World Semantics for Deterministic Dynamical Systems with Finitely Many Components
Reduction in Dynamical Systems: A Representational View
2010
A Representational Approach to Reduction in Dynamical Systems
Erkenntnis, 79(4):943-968, 2014
The abstract variable-binding calculus
Studia Logica, 1995
A Free Logic for Stable Models with Partial Intensional Functions
Lecture Notes in Computer Science, 2014
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic - LORI-V 2015
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic, 2015
ECAI, 2004
Decomposing Dynamical Systems (Revised and enriched. September 10, 2017)
Minati G., Abram R. M., Pessa E. (Eds.), Towards a Post-Bertalanffy Systemics, Springer International Publishing, Ch. 6, 2015
Minati G., Abram R. M., Pessa E. (Eds.), Towards a Post-Bertalanffy Systemics, Springer International Publishing, Ch. 6, 2015
A simultaneous abstraction calculus and theories of semantics
See Seligman and Westerst ahl, 1996
On the specification of operations on the rational behaviour of systems
Electronic Proceedings in Theoretical Computer Science, 2012
A Logical Analysis of Dynamic Dependence
arXiv (Cornell University), 2022
Combinatorial Abstractions of Dynamical Systems
Electronic Proceedings in Theoretical Computer Science, 2013
Electronic Notes in Theoretical Computer Science, 2013
Constraining rule-based dynamics with types
Mathematical Structures in Computer Science, 2013
Algebraic Meta-Theory of Processes with Data
SOFIA: The logic and ontology of matter as a pure dynamic process
On the general structure of mathematical models for physical systems
Annalen der Physik, 2011
A higher-order calculus and theory abstraction
Information and Computation, 1991
Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics
A Fully-Abstract Model for the pi-Calculus (Extended Abstract)
On the Modal Definability of Simulability by Finite Transitive Models
Studia Logica - An International Journal for Symbolic Logic, 2011
Characterization, definability and separation via saturated models
Theoretical Computer Science, 2014