An automated modal logic for elementary changes

&
In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Elementary classes in basic modal logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
Review: Lincoln A. Wallen, Automated Proof Search in Non-Classical Logics. Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. [REVIEW]Luis Farinas del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.
Resolution Modal logics-Automated reasoning in nonclassical logic.L. Farifias del Cerro - forthcoming - Logique Et Analyse.
Wallen Lincoln A.. Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1990, xv+ 239 pp. [REVIEW]Luis Fariñas del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Modal Formulas are Either Elementary or not $SigmaDelta$-Elementary.J. F. A. K. Van Benthem - 1976 - Journal of Symbolic Logic 41 (2):436-438.
Modal formulas are either elementary or not σδ-elementary.F. A. K. Van Benthem J. - 1976 - Journal of Symbolic Logic 41 (2):436-438.
Introspective forgetting.Hans van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.
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.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Hybrid Formulas and Elementarily Generated Modal Logics.Ian Hodkinson - 2006 - Notre Dame Journal of Formal Logic 47 (4):443-478.
Multi-Dimensional Semantics for Modal Logics.Maarten Marx - 1996 - Notre Dame Journal of Formal Logic 37 (1):25-34.

Analytics

Added to PP
2014-01-29

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references