Cargando…

Kripke’s worlds: an introduction to modal logics via tableaux

Detalles Bibliográficos
Autores principales:	Gasquet, Olivier, Herzig, Andreas, Said, Bilal, Schwarzentruber, François
Lenguaje:	eng
Publicado:	Springer 2014
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-3-7643-8504-0 http://cds.cern.ch/record/1635066

Ejemplares similares

An introduction to quasisymmetric Schur functions: Hopf algebras, quasisymmetric functions, and Young composition tableaux
por: Luoto, Kurt, et al.
Publicado: (2013)

Algebraic combinatorics: walks, trees, tableaux, and more
por: Stanley, Richard P
Publicado: (2018)

Dual Tableaux Foundations, Methodology, Case Studies
por: Orlowska, Ewa, et al.
Publicado: (2011)

Algebraic combinatorics: walks, trees, tableaux, and more
por: Stanley, Richard P
Publicado: (2013)

Young tableaux: with applications to representation theory and geometry
por: Fulton, William
Publicado: (1997)

Representations of quantum algebras and combinatorics of Young tableaux
por: Ariki, Susumu
Publicado: (2002)

Displaying modal logic
por: Wansing, Heinrich
Publicado: (1998)

Multi-dimensional modal logic
por: Marx, Maarten, et al.
Publicado: (1997)

Self-reference and modal logic
por: Smoryński, C
Publicado: (1985)

Proof theory of modal logic
por: Wansing, Heinrich
Publicado: (1996)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

Introduction to discrete mathematics via logic and proof
por: Jongsma, Calvin
Publicado: (2019)

Major counting of nonintersecting lattice paths and generating functions for tableaux
por: Krattenthaler, C
Publicado: (1995)

Gentzen Calculi for Modal Propositional Logic
por: Poggiolesi, Francesca
Publicado: (2011)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1987)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (2015)

Introduction to mathematical logic
por: Church, Alonzo
Publicado: (1956)

An introduction to mathematical logic
por: Robison, Gerson B
Publicado: (1969)

An introduction to default logic
por: Besnard, Philippe
Publicado: (1989)

Introduction to mathematical logic
por: Hermes, Hans
Publicado: (1973)

Young tableaux in combinatorics, invariant theory, and algebra: an anthology of recent work
por: Kung, Joseph PS
Publicado: (1982)

Leo Esakia on duality in modal and intuitionistic logics
por: Bezhanishvili, Guram
Publicado: (2014)

Many-dimensional modal logics: theory and applications
por: Gabbay, D M, et al.
Publicado: (2003)

Natural Deduction, Hybrid Systems and Modal Logics
por: Indrzejczak, Andrzej
Publicado: (2010)

An algebraic introduction to mathematical logic
por: Barnes, Donald W, et al.
Publicado: (1975)

A Logical Introduction to Proof
por: Cunningham, Daniel W
Publicado: (2012)

Quantum deformation and tableaux realization of simple dense gl(n,C)-modules
por: Mazorchuk, V
Publicado: (2001)

First Steps in Modal Logic
por: Popkorn, Sally
Publicado: (2008)

A concise introduction to mathematical logic
por: Rautenberg, Wolfgang
Publicado: (2006)

Introduction to symbolic logic and its applications
por: Carnap, Rudolf
Publicado: (1958)

An introduction to Hilbert space and quantum logic
por: Cohen, David W
Publicado: (1989)

A Concise Introduction to Mathematical Logic
por: Rautenberg, Wolfgang
Publicado: (2010)

A short introduction to intuitionistic logic
por: Mints, Grigori
Publicado: (2002)

Mathematical logic: an introduction to model theory
por: Enderton, H
Publicado: (1978)

Introduction to fuzzy logic applications in intelligent systems
por: Mitchell, Tom, et al.
Publicado: (1992)

Sets, functions, and logic: an introduction to abstract mathematics
por: Devlin, Keith
Publicado: (2003)

Fuzzy logic models and fuzzy control: an introduction
por: Hooda, DS, et al.
Publicado: (2016)

Mathematical Logic and Model Theory: A Brief Introduction
por: Prestel, Alexander, et al.
Publicado: (2011)

5th World Congress of Paraconsistent Logic
por: Beziau, Jean-Yves, et al.
Publicado: (2015)

Logical foundations of mathematics and computational complexity: a gentle introduction
por: Pudlák, Pavel
Publicado: (2013)

Cannot write session to /tmp/vufind_sessions/sess_dq65h7k3mq0oq44tkq6ruqs03a