fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Labelled deduction

Labelled deduction

by David Basin, Various

Modality (Logic)Mathematical And Symbolic LogicPhilosophy Of MathematicsPhilosophyMathematics
0.0
Open Library
Open Library

Themes & subjects

Modality (Logic)Mathematical And Symbolic LogicPhilosophy Of MathematicsPhilosophyMathematicsArtificial Intelligence - General

Authors

David Basin, Various

Pages

266

Read time

≈ 7h

Editions

2

Language

English

Publisher

Island Press

ISBN

9789401140416

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Possible worlds

Modality (Logic) · Necessity (Philosophy)

Possible worlds

Rod Girle

2003

Multimodality, cognition, and experimental literature

Modality (Linguistics) · Experimental Literature

Multimodality, cognition, and experimental literature

Alison Gibbons

2011

Modal logics and philosophy

Modality (Logic) · Modalité (Logique)

Modal logics and philosophy

Rod Girle

2000

Introducing Multimodality

Cognitive grammar · Discourse analysis

Introducing Multimodality

Carey Jewitt

2016

Modality

Modality (Logic) · Modality (Theory of knowledge)

Modality

Joseph Melia

2003

Modality and the English modals

English language · Modality (Linguistics)

Modality and the English modals

F. R. Palmer

1979

Modalities in medieval philosophy

History · Medieval Philosophy

Modalities in medieval philosophy

Simo Knuuttila

1993

Theism and Ultimate Explanation

Theism · Modality (logic)

Theism and Ultimate Explanation

Timothy O'Connor

2008

Multimodality

Modality (logic) · Communication, psychological aspects

Multimodality

Janina Wildfeuer

2017

Analysis and logic

Symbolic and mathematical Logic · Mathematical analysis

Analysis and logic

C. Ward Henson

2002

Elements of Deductive Inference

Predicate calculus · Mathematical logic

Elements of Deductive Inference

Joseph Bessie

1999

Computability

Computable functions · Gödel's theorem

Computability

Richard L. Epstein

1989

Sheaves, games, and model completions

Model theory · Categories (Mathematics)

Sheaves, games, and model completions

Silvio Ghilardi

2002

Logic Colloquium'88

Logic, Symbolic and mathematical · Symbolic and mathematical Logic

Logic Colloquium'88

Logic Colloquium '88 (Padova, Italy)

1989

Algebraic foundations of many-valued reasoning

Many-valued logic · Proposition (Logic)

Algebraic foundations of many-valued reasoning

Roberto Cignoli

1999

Constructive models

Constructive mathematics · Mathematical foundations

Constructive models

I͡Uriĭ Leonidovich Ershov

2000

Labelled non-classical logics

Nonclassical mathematical logic · Computer Programming

Labelled non-classical logics

Luca Viganò

2000

Orthomodular structures as quantum logics

Orthomodular lattices · Probabilities

Orthomodular structures as quantum logics

Pavel Pták

1991