Kripke's worlds

an introduction to modal logics via tableaux

Verfasser / Beitragende:

Olivier Gasquet ... [et al.]

Ort, Verlag, Jahr:

Basel [etc.] : Birkhäuser, 2014

Beschreibung:

XV, 198 S. : Ill. ; 24 cm

Format:

Buch

Online Zugang:

Inhaltsverzeichnis

ID: 317489003

Ähnliche Einträge

Kripke's worlds : an introduction to modal logics via Tableaux
von: Gasquet, Olivier
Veröffentlicht: 2014

Kripke
von: Burgess, John P.
Veröffentlicht: 2012

Modal logics and philosophy
von: Girle, Rod
Veröffentlicht: 2009 [2000]

Modal logics and philosophy
von: Girle, Rod
Veröffentlicht: 2000

Kripke : référence et modalités
von: Drapeau, Filipe
Veröffentlicht: 2005

Modal justification via theories
von: Fischer, Bob
Veröffentlicht: 2017

Saul Kripke
Veröffentlicht: 2011

Saul Kripke
von: Fitch, Gregory W.
Veröffentlicht: 2004

Saul Kripke
von: Ahmed, Arif
Veröffentlicht: 2007

Kripke : names, necessity, and identity
von: Hughes, Christopher
Veröffentlicht: 2004

Logics of worlds : being and event, 2
von: Badiou, Alain
Veröffentlicht: 2009

Logics of worlds : being and event, 2
von: Badiou, Alain
Veröffentlicht: 2018 [2009]

[Tableaux]
Veröffentlicht: 1858

Tableaux
Veröffentlicht: 1994

On Kripke
von: Preti, Consuelo
Veröffentlicht: 2003

Saul Kripke
Veröffentlicht: 2011

Saul Kripke
von: Ahmed, Arif
Veröffentlicht: 2007

Saul Kripke
von: Fitch, G. W.
Veröffentlicht: 2004

[Tableaux]
Veröffentlicht: 1856

Worlds
Veröffentlicht: 1998

Worlds
Veröffentlicht: 1990 [1989]

Via
Veröffentlicht: 2011

Worlds
Veröffentlicht: 1998

Worlds
Veröffentlicht: 1998

Decidability of order-based modal logics
von: Rogger, Jonas
Veröffentlicht: 2016

Expressivity in chain-based modal logics
von: Marti, Michel
Veröffentlicht: 2018

Decidability of Order-Based Modal Logics
von: Rogger, Jonas
Veröffentlicht: 2016

Structural information via modal testing
von: Ohlsson, Sven
Veröffentlicht: 1988

Natural deduction, hybrid systems and modal logics
Veröffentlicht: 2010

Many-dimensional modal logics: theory and applications
Veröffentlicht: 2003

Natural deduction, hybrid systems and modal logics
von: Indrzejczak, Andrzej
Veröffentlicht: 2010

Proof methods for modal and intuitionistic logics
von: Fitting, Melvin
Veröffentlicht: 1983

Reactive kripke semantics
von: Gabbay, Dov M.
Veröffentlicht: 2013

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
Veröffentlicht: 1995

Executable modal and temporal logics : IJCAI '93 Workshop : Chambery, France, August 28, 1993 : proceedings
Veröffentlicht: 1995

Abstract Logics
Veröffentlicht: 1973

Propositional logics
von: Epstein, Richard L.
Veröffentlicht: 1995

Algebraizable logics
von: Blok, W.J.
Veröffentlicht: 1989

Absolute logics
Veröffentlicht: 1995

Substructural logics
Veröffentlicht: 1993