The logic of empirical theories revisited
type: Item
instance of: scholarly article
title: The logic of empirical theories revisited
zbMATH Open document ID: 1275.03076
published in: Synthese
publication date: 2013-11-25T00:00:00Z
Mathematics Subject Classification ID: 03A10
zbMATH DE Number: 6232131
zbMATH Keywords: theory structure
zbMATH Keywords: model theory
zbMATH Keywords: formal language
zbMATH Keywords: dynamic logic
zbMATH Keywords: computation
zbMATH Keywords: agency
author: Johan van Benthem
MaRDI profile type: Publication
full work available at URL: s11229-011-9916-6
OpenAlex ID: W2129102552
cites work: Categorical quantum mechanics
cites work: Handbook of Spatial Logics
cites work: Abductive reasoning. Logical investigations into discovery and explanation
cites work: A dynamic-logical perspective on quantum behavior
cites work: Q4648827
cites work: Keep `hoping' for rationality: a solution to the backward induction paradox
cites work: Module algebra
cites work: Q5668436
cites work: Finite Axiomatizability using additional predicates
cites work: Explaining games. The epistemic programme in game theory
cites work: Can Doxastic Agents Learn? On the Temporal Structure of Learning
cites work: A non-classical logic for physics
cites work: Q5666510
cites work: Q4781254
cites work: Q4223173
cites work: Empirical Adequacy and Ramsification
cites work: Q3874172
cites work: Circumscription - a form of non-monotonic reasoning
cites work: POPPER'S QUALITATIVE THEORY OF VERISIMILITUDE
cites work: Q4049047
cites work: Q4257375
cites work: When Empirical Success Implies Theoretical Reference: A Structural Correspondence Theorem
cites work: Q4002750
cites work: The logical structure of mathematical physics
cites work: Artificial languages across sciences and civilizations
cites work: Four paradoxes
cites work: Ramsey eliminability
cites work: The logical study of science
cites work: The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
cites work: Possible worlds semantics: a research program that cannot fail?
cites work: Dynamic logic for belief revision
cites work: Q3629247
cites work: Logical Dynamics of Information and Interaction
cites work: Toward a Dynamic Logic of Questions
cites work: A mathematical characterization of interpretation between theories
cites work: The use of generalized functions and distributions in general relativity
cites work: Probabilistic logics and probabilistic networks
DOI: 10.1007/S11229-011-9916-6
description: scientific article; zbMATH DE number 6232131