Verifying the Modal Logic Cube is an Easy Task

In Simon Siegler & Nathan Wasser (eds.), Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer. pp. 117-128 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Implementing a relational theorem prover for modal logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.Rosati Riccardo - 1999 - Journal of Logic, Language and Information 8 (2):187-203.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Intensional Logic — Beyond First Order.Melvin Fitting - unknown
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Toward model-theoretic modal logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Embedding modal nonmonotonic logics into default logic.Robert Milnikel - 2003 - Studia Logica 75 (3):377 - 382.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
Modal deduction in second-order logic and set theory - II.Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387-420.
Multimodal and intuitionistic logics in simple type theory.Christoph Benzmueller & Lawrence Paulson - 2010 - Logic Journal of the IGPL 18 (6):881-892.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.

Analytics

Added to PP
2017-12-04

Downloads
12 (#1,078,270)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references