A Semantics For Modal Calculi

Bulletin of the Section of Logic 17 (3-4):114-121 (1988)
  Copy   BIBTEX

Abstract

Our approach to a construction of semantics for modal calculi consists in interpretation of modal statement in terms of necessary and possible truths as well as in terms of necessary and possible falsity. It supposes also some actual and logical necessity, chance and possibility. In this paper there are given semantics for a number of calculi of actual and logical modalities. We have constructed the calculi of actual modalities in the beginning of the seventies

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Semantics for a class of intuitionistic modal calculi.Gisele Servi - 1978 - Bulletin of the Section of Logic 7 (1):26-29.
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.Paulo Mateus, João Rasga & Cristina Sernadas - 2005 - Logic Journal of the IGPL 13 (2):173-199.
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
Extensions of the Modal Calculi MC v and MC∞. Comparison of them with Similar Calculi Endowed with Different Semantics. Application to Probability Theory. [REVIEW]Aldo Bressan - 1981 - In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht. pp. 21--66.
Modular Sequent Calculi for Classical Modal Logics.David R. Gilbert & Paolo Maffezioli - 2015 - Studia Logica 103 (1):175-217.
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.Paulo Mateus, Amílcar Sernadas, Cristina Sernadas & Luca Viganò - 2004 - Logic Journal of the IGPL 12 (3):227-274.
Infinitary Modal Logic and Generalized Kripke Semantics.Pierluigi Minari - 2011 - Annali Del Dipartimento di Filosofia 17:135-166.
Semantical study of some systems of vagueness logic.A. Arruda & E. Alves - 1979 - Bulletin of the Section of Logic 8 (3):139-144.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
Epsilon Calculi.Barry Slater - 2006 - Logic Journal of the IGPL 14 (4):535-590.
The Theory of Relations, Complex Terms, and a Connection Between λ and ε Calculi.Edward N. Zalta - manuscript
Fusion of sequent modal logic systems labelled with truth values.João Rasga, Karina Roggia & Cristina Sernadas - 2010 - Logic Journal of the IGPL 18 (6):893-920.
Adjoint interpretations of sentential calculi.Tomasz Fukmanowski - 1982 - Studia Logica 41 (4):359 - 374.

Analytics

Added to PP
2015-02-02

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

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references