In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. pp. 323--333 (2009)
Authors |
|
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Buy the book |
Find it on Amazon.com
|
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Similar books and articles
Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Formal Systems for Modal Operators on Locales.Gonzalo E. Reyes & Marek W. Zawadowski - 1993 - Studia Logica 52 (4):595 - 613.
Term-Modal Logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
A Modal Type Theory for Formalizing Trusted Communications.Giuseppe Primiero & Mariarosaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.
Analytics
Added to PP index
2014-01-31
Total views
6 ( #1,076,535 of 2,420,821 )
Recent downloads (6 months)
1 ( #543,487 of 2,420,821 )
2014-01-31
Total views
6 ( #1,076,535 of 2,420,821 )
Recent downloads (6 months)
1 ( #543,487 of 2,420,821 )
How can I increase my downloads?
Downloads