Goedel's numbering of multi-modal texts

&
Bulletin of Symbolic Logic 8 (1):180 (2002)
  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: 92,907

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

Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
First-order multi-modal deduction.Matthew Stone - unknown
A modal type theory for formalizing trusted communications.Giuseppe Primiero & Mariarosaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.
Multi-Dimensional Semantics for Modal Logics.Maarten Marx - 1996 - Notre Dame Journal of Formal Logic 37 (1):25-34.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Is the Numbering System in Wittgenstein’s Tractatus a Joke?Kevin Gibson - 1996 - Journal of Philosophical Research 21:139-148.
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Knowledge elicitation using a multi-modal approach.M. J. Winfield, A. Basden & I. Cresswell - 1996 - World Futures 47 (1):93-101.
Putting guidelines into practice: a tailored multi‐modal approach to improve post‐operative assessments.John A. Ford, Craig MacKay, Chris Peach, Paul Davies & Malcolm Loudon - 2013 - Journal of Evaluation in Clinical Practice 19 (1):106-111.
Multi-modal ctl: Completeness, complexity, and an application.Wiebe der Hoek Thomas Ågotnevans, A. Rodríguez-Aguilar Juan & Michael Wooldridge Carles Sierra - 2009 - Studia Logica 92 (1).
Evidence of hypertext in the scholarly archive.Leslie Carr & Stevan Harnad - unknown
Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1 - 26.
Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
Complete philosophical and theological treatises.Jasper Hopkins - unknown

Analytics

Added to PP
2014-01-18

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