The social marketplace for new and used books.

Get started

For the authors

Support

Track a shipment

Company

Contact us

Fast delivery with

Safe payments by

© 2026 Bookis AS

English

Modal Logic

Paperback • 2013 • English

Modal Logic

By Herman Ruge Jervell

0 Ratings • 0.0 of 5

‌
‌

‌

‌
‌

‌
‌

‌

‌
‌
‌
‌
‌
‌
‌
‌

‌

About the book

In modal logic we discuss multiple perspectives on truth - perspectives as given by time, by provability, by knowledge, by agents or by processes. We develop the theory of modal logic and emphasize the connections with and applications within computer science and mathematics. Among other things we develop Kurt Godels incompleteness theorem and show memoryless determinacy of infinite games on finite arenas.

Book details

ISBN

9783832533021

Publisher

Logos Verlag Berlin GmbH

Published year

2013

Language

English

Original title

Modal Logic

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

Logical Methods The Art of Thinking Abstractly and Mathematically

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Philosophy of Mind

Philosophy of Mind

Amy Kind

Logic: A Very Short Introduction

Logic: A Very Short Introduction

Graham (Distinguished Professor of Philosophy at the CUNY Graduate Center) Priest

Tetralogue

Tetralogue

Timothy Williamson

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

The logic manual

The logic manual

Volker Halbach

An introduction to the philosophy of language

An introduction to the philosophy of language

Ian Morrison

Putting Logic in its Place

Putting Logic in its Place

David Christensen

Metaphysics

Metaphysics

USA) Ney Alyssa (University of California - Davis

Logic

Logic

Dan Cryan

Metaphor

Metaphor

Zoltan Kovescses

The Logic Book

The Logic Book

Merrie Bergmann

Logicomix: An Epic Search for Truth

Logicomix: An Epic Search for Truth

Apostolos Doxiadis

Logicomix

Logicomix

Apostolos Doxiadis

The logic of life

The logic of life

Tim Harford

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

M. Morris Mano

Deductive Logic

Deductive Logic

Warren Goldfarb

Logic and Philosophy

Logic and Philosophy

Paul Tidman

Understanding Philosophy of Science

Understanding Philosophy of Science

James Ladyman

The Logic of Scientific Discovery

The Logic of Scientific Discovery

Karl Popper

Tractatus Logico-philosophicus

Tractatus Logico-philosophicus

Ludwig Wittgenstein

The Philosophy of Language

The Philosophy of Language

A. P. Martinich

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

A New Introduction to Modal Logic

A New Introduction to Modal Logic

George Edward Hughes

Deontic Logic in Computer Science

Deontic Logic in Computer Science

John-Jules Ch. Meyer

The Language of First-Order Logic

The Language of First-Order Logic

Jon Barwise

Formal Logic

Formal Logic

Jeffrey, Richard C.

Introducing Persons

Introducing Persons

Peter Carruthers

Rationality and Relativism

Rationality and Relativism

Hollis, Martin; Lukes, Steven

Modal Logic An Introduction

Modal Logic An Introduction

Brian F. Chellas

Logic in linguistics

Logic in linguistics

Jens alleood,

On Skolem and Herbrand theorems for intuitionistic logic

On Skolem and Herbrand theorems for intuitionistic logic

Enid Blyton

Monadology and Other Philosophical Essays

Monadology and Other Philosophical Essays

G. Leibniz