Studia Logica, Volume 72
Volume 72, Number 1, October 2002
- Wiebe van der Hoek, Elias Thijsse: A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. 61-84
- Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde: Satisfiability Testing for Boolean Formulas Using Delta-trees. 85-112
- Carlos Viegas Damásio, Luís Moniz Pereira: Hybrid Probabilistic Logic Programs as Residuated Logic Programs. 113-138
Volume 72, Number 2, November 2002
- Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa: Equality and Monodic First-Order Temporal Logic. 147-156
- Dov M. Gabbay, Valentin B. Shehtman: Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. 157-183
- Ian M. Hodkinson: Monodic Packed Fragment with Equality is Decidable. 185-197
- Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: A Tableau Decision Algorithm for Modalized ALC with Constant Domains. 199-232
- Maarten Marx: Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. 233-252
- Gábor Sági: A Note on Algebras of Substitutions. 265-284
- Tarek Sayed Ahmed: Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. 285-309
Volume 72, Number 3, December 2002
- Lennart Åqvist: Old Foundations for the Logic of Agency and Action. 313-338
- Kevin J. Davey: Obligation and the Conditional in Stit Theory. 339-362
- Józef Dudek: Affine Spaces over GF(3). 363-366
- Marcelo E. Coniglio, Walter Alexandre Carnielli: Transfers between Logics and their Applications. 367-400
- Ernst Zimmermann: A Predicate Logical Extension of a Subintuitionistic Propositional Logic. 401-410
- Marcel van de Vel: Interpreting First-order Theories into a Logic of Records. 411-432
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team