Proof Theory of Modal Logic :: SCD d'Orléans

Proof Theory of Modal Logic

Proof Theory of Modal Logic

Enregistré dans:

Bibliografiske detaljer
Andre forfattere:	Wansing, Heinrich, 1963- (Collaborateur)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Proof Theory of Modal Logic, 978-90-481-4720-5

Lignende værker

Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka
af: Poggiolesi, Francesca
Udgivet: (2015)

‪Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka‪
af: Poggiolesi, Francesca
Udgivet: (2015)

Proof theory for Fuzzy logics
af: Metcalfe, George, 1974-...., mathématicien, et autres

Hybrid logic and its proof-theory
af: Bräuner, Torben, 1962-

Modal logics
af: Feys, Robert, 1889-1961
Udgivet: (1965)

Modal logic
af: Blackburn, Patrick, 1959-, et autres
Udgivet: (2001)

The Semantics and Proof Theory of the Logic of Bunched Implications
af: Pym, David J., 19..-...., mathématicien

An introduction to modal logic
af: Hughes, George Edward, 1918-, et autres
Udgivet: (1968)

Displaying Modal Logic
af: Wansing, Heinrich, 1963-

Handbook of modal logic.
af: Blackburn, Patrick, 1959-, et autres
Udgivet: (2007)

Termination proofs for logic programs
af: Plümer, Lutz, 1951-

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
af: Andrews, Peter Bruce, 1937-

Proof Theory
af: Schütte, Kurt, 1909-1998

Self-Reference and Modal Logic
af: Smoryński, Craig A., 1947-

Multi-Dimensional Modal Logic
af: Marx, Maarten, 19..-, et autres

Proof Theory : An Introduction
af: Pohlers, Wolfram

Gentzen calculi for modal propositional logic
af: Poggiolesi, Francesca, 1980-

Structural proof theory
af: Negri, Sara, 1967-, et autres
Udgivet: (2001)

Proof theory : the first step into impredicativity
af: Pohlers, Wolfram

Applied proof theory : proof interpretations and their use in mathematics
af: Kohlenbach, Ulrich, 1962-
Udgivet: (2008)

Applied proof theory : proof interpretations and their use in mathematics
af: Kohlenbach, Ulrich, 1962-

Natural Deduction, Hybrid Systems and Modal Logics
af: Indrzejczak, Andrzej

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Goal-Directed Proof Theory
af: Gabbay, Dov M., 1945-, et autres

Lectures in Proof Theory and Complexity
af: Duccio, Pianigiani
Udgivet: (2026)

Proof Theory and Intuitionistic Systems
af: Scarpellini, Bruno, 19..-

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
af: Fisher, Michael

Proofs and refutations : the logic of mathematical discovery
af: Lakatos, Imre, 1922-1974
Udgivet: (1976)

The story of proof : logic and history of mathematics
af: Stillwell, John, 1942-...., Professeur de mathématiques
Udgivet: (2022)

Paraconsistent and fuzzy modal logics for reasoning about uncertainty
af: KOZHEMIACHENKO, Daniil, 1995-
Udgivet: (2023)

A Proof Theory for General Unification
af: Snyder, Wayne, 1955-

Quantification in Ordinary Language and Proof Theory
af: Abrusci, Michele, et autres
Udgivet: (2016)

‪Quantification in Ordinary Language and Proof Theory‪
af: Abrusci, Michele, et autres
Udgivet: (2016)

Chapter On the Notion of Analyticity in Proof Theory
af: Indrzejczak, Andrzej
Udgivet: (2025)

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
af: Kino, Akiko
Udgivet: (1970)

Proof Theory of Martin-Löf Type Theory. An overview
af: Setzer, Anton
Udgivet: (2006)

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Udgivet: (1975)

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales