default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 72
Volume 72, Number 1, October 2002
- Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira:
Preface. 3-5 - Antonio Moreno, Ulises Cortés, Ton Sales:
Subjective Situations and Logical Omniscience. 7-29 - Pedro J. Martín, Antonio Gavilanes:
Simultaneous Rigid Sorted Unification for Tableaux. 31-59 - 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
- Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter:
Preface. 145-146 - 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 - Maarten Marx, Szabolcs Mikulás:
An Elementary Construction for a Non-elementary Procedure. 253-263 - 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
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 2024-11-18 20:48 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:
