Dynamic Tractable Reasoning

DOI10.1007/978-3-030-36233-1zbMath1432.03002OpenAlexW4252723176MaRDI QIDQ5212080

Holger Andreas

Publication date: 24 January 2020

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-36233-1

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (2)

Some model-theoretic remarks on the Ramsey sentence, with a closer look at Ketland's argument ⋮ Taming conceptual wanderings: Wilson-structuralism

This page was built for publication: Dynamic Tractable Reasoning