default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 89
Volume 89, Number 1, June 2008
- Wojciech Buszkowski
, Ewa Palka:
Infinitary Action Logic: Complexity, Models and Grammars. 1-18 - Radomír Halas:
The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains. 19-35 - Holger Rosencrantz:
Properties of Goal Systems: Consistency, Conflict, and Coherence. 37-58 - Jesse Hughes, Lambèr M. M. Royakkers:
Don't Ever Do That! Long-term Duties in PD e L. 59-79 - Brian Hill:
Towards a "Sophisticated" Model of Belief Dynamics. Part I: The General Framework. 81-109 - Antonio Di Nola, George Georgescu, Luca Spada:
Forcing in Lukasiewicz Predicate Logic. 111-145 - Heinrich Wansing, Yaroslav Shramko:
Erratum to Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica , 88: 405-429, 2008. 147 - Jeffrey Helzner:
Vincent F. Hendricks and Pelle G. Hansen, Game Theory: 5 Questions. 149-150
Volume 89, Number 2, July 2008
- Leon Horsten, Igor Douven:
Formal Methods in the Philosophy of Science. 151-162 - Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely:
Axiomatizing Relativistic Dynamics without Conservation Postulates. 163-186 - Alexandru Baltag, Sonja Smets:
A Dynamic-Logical Perspective on Quantum Behavior. 187-211 - Otávio A. S. Bueno:
Structural Realism, Scientific Change, and Partial Structures. 213-235 - Simon M. Huttegger, Brian Skyrms:
Emergence of Information Transfer by Inductive Learning. 237-256 - Gerhard Schurz, Hannes Leitgeb:
Finitistic and Frequentistic Approximation of Probability Measures with or without sigma-Additivity. 257-283 - John Symons:
Book Reviews. 285-289
Volume 89, Number 3, August 2008
- Brian Hill:
Towards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision. 291-323 - Tarek Sayed Ahmed:
On Complete Representations of Reducts of Polyadic Algebras. 325-332 - Jeanne Peijnenburg, David Atkinson:
Probabilistic Justification and the Regress Problem. 333-341 - Thomas Studer:
On the Proof Theory of the Modal mu-Calculus. 343-363 - Dorota Leszczynska-Jasion:
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. 365-399 - Matthew Spinks, Robert Veroff:
Constructive Logic with Strong Negation is a Substructural Logic. II. 401-425 - Albert J. J. Anglberger:
Dynamic Deontic Logic and its Paradoxes. 427-435 - Choh Man Teng:
Book Reviews. 437-439 - Andreas Herzig:
Book Reviews. 441-445
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
