Resolution Modal logics-Automated reasoning in nonclassical logic

Logique Et Analyse (forthcoming)
  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: 93,069

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

Resolution modal logic.L. FariÑas Del Cerro - 1985 - Logique Et Analyse 28 (10):153.
An automated modal logic for elementary changes.L. Fariñas Del Cerro & Andreas Herzig - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press.
Modal trees for modal predicate logics.B. Davidson - 1982 - Logique Et Analyse 25 (97):47.
On coherence in modal logics.Robert K. Meyer - 1971 - Logique Et Analyse 14:658-668.
A research in modal logics.J. Porte - 1980 - Logique Et Analyse 23 (89):3.
Notes on modal logics.J. Porte - 1981 - Logique Et Analyse 24 (95):399.
Thought-experiment and modal logics.W. Rehder - 1980 - Logique Et Analyse 23 (92):407.
On canonical modal logics that are not elementarily determined.Robert Goldblatt, Ian Hodkinson & Yde Venema - 2003 - Logique Et Analyse 181:77-101.
Some incompletable modal predicate logics.M. J. Cresswell - 1997 - Logique Et Analyse 160 (1997):321-334.
Completeness of some quantified modal logics.James W. Garson - 1978 - Logique Et Analyse 21 (82):153.

Analytics

Added to PP
2014-01-25

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?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references