The logic of empirical theories revisited (Q383008): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Import241208061232 (talk | contribs)
Normalize DOI.
 
(8 intermediate revisions by 7 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s11229-011-9916-6 / rank
Normal rank
 
Property / author
 
Property / author: J. F. A. K. van Benthem / rank
Normal rank
 
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03A10 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6232131 / rank
 
Normal rank
Property / zbMATH Keywords
 
theory structure
Property / zbMATH Keywords: theory structure / rank
 
Normal rank
Property / zbMATH Keywords
 
model theory
Property / zbMATH Keywords: model theory / rank
 
Normal rank
Property / zbMATH Keywords
 
formal language
Property / zbMATH Keywords: formal language / rank
 
Normal rank
Property / zbMATH Keywords
 
dynamic logic
Property / zbMATH Keywords: dynamic logic / rank
 
Normal rank
Property / zbMATH Keywords
 
computation
Property / zbMATH Keywords: computation / rank
 
Normal rank
Property / zbMATH Keywords
 
agency
Property / zbMATH Keywords: agency / rank
 
Normal rank
Property / author
 
Property / author: J. F. A. K. van Benthem / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s11229-011-9916-6 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2129102552 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical quantum mechanics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of Spatial Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abductive reasoning. Logical investigations into discovery and explanation / rank
 
Normal rank
Property / cites work
 
Property / cites work: A dynamic-logical perspective on quantum behavior / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4648827 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Keep `hoping' for rationality: a solution to the backward induction paradox / rank
 
Normal rank
Property / cites work
 
Property / cites work: Module algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5668436 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite Axiomatizability using additional predicates / rank
 
Normal rank
Property / cites work
 
Property / cites work: Explaining games. The epistemic programme in game theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Can Doxastic Agents Learn? On the Temporal Structure of Learning / rank
 
Normal rank
Property / cites work
 
Property / cites work: A non-classical logic for physics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5666510 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4781254 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4223173 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Empirical Adequacy and Ramsification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3874172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Circumscription - a form of non-monotonic reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: POPPER'S QUALITATIVE THEORY OF VERISIMILITUDE / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4049047 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4257375 / rank
 
Normal rank
Property / cites work
 
Property / cites work: When Empirical Success Implies Theoretical Reference: A Structural Correspondence Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4002750 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logical structure of mathematical physics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Artificial languages across sciences and civilizations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Four paradoxes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ramsey eliminability / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logical study of science / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse / rank
 
Normal rank
Property / cites work
 
Property / cites work: Possible worlds semantics: a research program that cannot fail? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic logic for belief revision / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3629247 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical Dynamics of Information and Interaction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Toward a Dynamic Logic of Questions / rank
 
Normal rank
Property / cites work
 
Property / cites work: A mathematical characterization of interpretation between theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: The use of generalized functions and distributions in general relativity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic logics and probabilistic networks / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S11229-011-9916-6 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 15:59, 9 December 2024

scientific article
Language Label Description Also known as
English
The logic of empirical theories revisited
scientific article

    Statements

    The logic of empirical theories revisited (English)
    0 references
    0 references
    25 November 2013
    0 references
    theory structure
    0 references
    model theory
    0 references
    formal language
    0 references
    dynamic logic
    0 references
    computation
    0 references
    agency
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers