Cargando…

Proof theory of modal logic

Detalles Bibliográficos
Autor principal:	Wansing, Heinrich
Lenguaje:	eng
Publicado:	Springer 1996
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-94-017-2798-3 http://cds.cern.ch/record/1620762

Ejemplares similares

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

Truth and falsehood: an inquiry into generalized logical values
por: Shramko, Yaroslav, et al.
Publicado: (2012)

Conference Trends in Logic XI
por: Ciuni, Roberto, et al.
Publicado: (2014)

Proof theory for fuzzy logics
por: Metcalfe, G, et al.
Publicado: (2009)

Hybrid Logic and its Proof-Theory
por: Brauner, Torben
Publicado: (2011)

The semantics and proof theory of the logic of bunched implications
por: Pym, David J
Publicado: (2002)

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

An introduction to mathematical logic and type theory to truth through proof
por: Andrews, Peter B
Publicado: (2002)

Logical Foundations of Proof Complexity
por: Cook, Stephen, et al.
Publicado: (2010)

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

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

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

Symbolic logic: syntax, semantics, and proof
por: Agler, David
Publicado: (2012)

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

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

What is negation?
por: Gabbay, Dov, et al.
Publicado: (1999)

Fuzzy logic: Einführung in Theorie und Anwendungen
por: Bothe, Hans Heinrich
Publicado: (1993)

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

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

Dynamics of judicial proof: computation, logic, and common sense
por: Kacprzyk, Janusz, et al.
Publicado: (2002)

Conditional and preferential logics: proof methods and theorem proving
por: Pozzato, GL
Publicado: (2010)

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

Well-quasi orders in computation, logic, language and reasoning: a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
por: Schuster, Peter, et al.
Publicado: (2020)

Kripke’s worlds: an introduction to modal logics via tableaux
por: Gasquet, Olivier, et al.
Publicado: (2014)

Proof theory
por: Schütte, Kurt
Publicado: (1977)

Proof theory
por: Jervell, Herman Ruge
Publicado: (2013)

Set theory and logic
por: Stoll, Robert R
Publicado: (1963)

Logical number theory
por: Smoryński, Craig
Publicado: (1991)

Proof theory: an introduction
por: Pohlers, Wolfram
Publicado: (1989)

Advances in proof theory
por: Kahle, Reinhard, et al.
Publicado: (2016)

The theory of gambling and statistical logic
por: Epstein, Richard A
Publicado: (1995)

Lectures in logic and set theory
por: Tourlakis, George
Publicado: (2003)

The Theory of Gambling and Statistical Logic
por: Epstein, Richard A
Publicado: (2009)

Completeness Theory for Propositional Logics
por: Pogorzelski, Witold A, et al.
Publicado: (2008)

Decidability of logical theories and their combination
por: Rasga, João, et al.
Publicado: (2020)

Logic by way of set theory
por: Ehlers, Henry
Publicado: (1968)

Probability theory: the logic of science
por: Jaynes, E T, et al.
Publicado: (2003)

Lectures in Logic and Set Theory
por: Tourlakis, George, et al.
Publicado: (2003)

The computational complexity of logical theories
por: Ferrante, Jeanne, et al.
Publicado: (1979)

Dependence logic: theory and applications
por: Abramsky, Samson, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_vscad3t493oa03hkqp5fniil9n