An axiomatization of s13
Philosophia 8 (2-3):381-382 (1978)
| Abstract | Specifies an axiomatization of the system S13 of modal logic. Referenced in Cocchiarella & Freund "Modal Logic: an Introduction to its Syntax and Semantics", Oxford University Press, 2008. | |||||||||
| Keywords | modal logic | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
|
| Through your library | Configure |
Miguel de Asúa & Gregorio Klimovsky (1990). Ensayo de Axiomatización de la Teoría Tisular Y Su Reducción a la Teoría Celular. Theoria 5 (1):129-140.
Roger D. Maddux (1991). The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations. Studia Logica 50 (3-4):421 - 455.
Volker Halbach & Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (1):677--712.
Philippe Balbiani, Andreas Herzig & Nicolas Troquard (2008). Alternative Axiomatics and Complexity of Deliberative Stit Theories. Journal of Philosophical Logic 37 (4).
Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (2):677 - 712.
Kosta Došen (1992). The First Axiomatization of Relevant Logic. Journal of Philosophical Logic 21 (4):339 - 356.
Michiel Van Lambalgen (1990). The Axiomatization of Randomness. Journal of Symbolic Logic 55 (3):1143 - 1167.
K. Dixon (1977). Book Reviews : Legitimation of Belief. By Ernest Gellner. Cambridge: Cambridge Univer Sity Press. 1974. Pp. 210. S13 95. [REVIEW] Philosophy of the Social Sciences 7 (4):419-421.
Alberto Zanardo (1990). Axiomatization of 'Peircean' Branching-Time Logic. Studia Logica 49 (2):183 - 195.
Mark Reynolds (1992). An Axiomatization for Until and Since Over the Reals Without the IRR Rule. Studia Logica 51 (2):165 - 193.
Monthly downloads |
Added to index2009-01-28Total downloads14 ( #83,183 of 549,224 )Recent downloads (6 months)1 ( #63,397 of 549,224 )How can I increase my downloads? |

