Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 4 of 4909 results
Sort by: relevance publication year

Dynamic Topological Logic

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Philip Kremer | Grigori Mints

https://doi.org/10.1007/978-1-4020-5587-4_10 Actions

Tableaux for Many-Valued Logics

BOOK CHAPTER published 1999 in Handbook of Tableau Methods

Authors: Reiner Hähnle

https://doi.org/10.1007/978-94-017-1754-0_9 Actions

Sequent Systems for Modal Logics

BOOK CHAPTER published 2002 in Handbook of Philosophical Logic

Authors: Heinrich Wansing

https://doi.org/10.1007/978-94-010-0387-2_2 Actions

Locales and Toposes as Spaces

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Steven Vickers

https://doi.org/10.1007/978-1-4020-5587-4_8 Actions

Categorial Type Logics

BOOK CHAPTER published 2011 in Handbook of Logic and Language

Authors: Michael Moortgat

https://doi.org/10.1016/b978-0-444-53726-3.00002-5 Actions

Categorial Type Logics

BOOK CHAPTER published 1997 in Handbook of Logic and Language

Authors: Michael Moortgat

https://doi.org/10.1016/b978-044481714-3/50005-9 Actions

Hybridity, institutional logics and institutional theory

BOOK PART published 2019 in Handbook of the Sharing Economy

https://doi.org/10.4337/9781788110549.00021 Actions

Discrete Spatial Models

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Michael B. Smyth | Julian Webster

https://doi.org/10.1007/978-1-4020-5587-4_12 Actions

Logics

BOOK CHAPTER published 4 May 2020 in The Routledge Handbook of Metaphysical Grounding

Authors: Francesca Poggiolesi

https://doi.org/10.4324/9781351258845-21 Actions

Axioms, Algebras and Topology

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Brandon Bennett | Ivo Düntsch

https://doi.org/10.1007/978-1-4020-5587-4_3 Actions

Feature Logics

BOOK CHAPTER published 1997 in Handbook of Logic and Language

Authors: William C. Rounds

https://doi.org/10.1016/b978-044481714-3/50012-6 Actions

Basic Description Logics

BOOK CHAPTER published 9 August 2007 in The Description Logic Handbook

Authors: F. Baader | W. Nutt

https://doi.org/10.1017/cbo9780511711787.004 Actions

Tableaux for Intuitionistic Logics

BOOK CHAPTER published 1999 in Handbook of Tableau Methods

Authors: Arild Waaler | Lincoln Wallen

https://doi.org/10.1007/978-94-017-1754-0_5 Actions

Logics for Defeasible Argumentation

BOOK CHAPTER published 2001 in Handbook of Philosophical Logic

Authors: Henry Prakken | Gerard Vreeswijk

https://doi.org/10.1007/978-94-017-0456-4_3 Actions

Modeling Hypothetical Reasoning by Formal Logics

BOOK CHAPTER published 2023 in Handbook of Abductive Cognition

Authors: Tjerk Gauderis

https://doi.org/10.1007/978-3-031-10135-9_29 Actions

Mathematical Morphology

BOOK CHAPTER published 2007 in Handbook of Spatial Logics

Authors: Isabelle Bloch | Henk Heijmans | Christian Ronse

https://doi.org/10.1007/978-1-4020-5587-4_14 Actions

Modeling Hypothetical Reasoning by Formal Logics

BOOK CHAPTER published 2022 in Handbook of Abductive Cognition

Authors: Tjerk Gauderis

https://doi.org/10.1007/978-3-030-68436-5_29-1 Actions

Homogeneous Hydrogenation of Alkynes and Dienes

OTHER published 20 October 2006 in The Handbook of Homogeneous Hydrogenation

Authors: Alexander M. Kluwer | Cornelis J. Elsevier

https://doi.org/10.1002/9783527619382.ch14 Actions

Expressive Description Logics

BOOK CHAPTER published 9 August 2007 in The Description Logic Handbook

Authors: D. Calvanese | G. De Giacomo

https://doi.org/10.1017/cbo9780511711787.007 Actions

Tableau Methods for Modal and Temporal Logics

BOOK CHAPTER published 1999 in Handbook of Tableau Methods

Authors: Rajeev Goré

https://doi.org/10.1007/978-94-017-1754-0_6 Actions
Feedback: support@crossref.org