Abstract
Modal logics with two syntactical layers (both governed by classical logic) have been proposed as logics of uncertainty following Hamblin’s seminal idea of reading the modal operator □φ as ‘probably φ’, meaning that the probability of φ is bigger than a given threshold.
An interesting departure from that (classical) paradigm has been introduced by Hájek with his fuzzy probability logic when, while still keeping classical logic as interpretation of the lower syntactical layer, he proposed to use Łukasiewicz logic in the upper one, so that the truth degree of □φ could be directly identified with the probability of φ. Later, other authors have used the same formalism with different kinds of uncertainty measures and other pairs of logics, allowing for a treatment of uncertainty of vague events (i.e. also changing the logic in the lower layer).
The aim of this paper is to provide a general framework for two-layer modal logics that encompasses all the previously studied two-layer modal fuzzy logics, provides a general axiomatization and a semantics of measured Kripke frames, and prove a general completeness theorem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blok, W.J., Pigozzi, D.L.: Algebraizable Logics. Memoirs of the American Mathematical Society, vol. 396. American Mathematical Society, Providence (1989), http://orion.math.iastate.edu/dpigozzi/
Cignoli, R., D’Ottaviano, I.M., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic, vol. 7. Kluwer, Dordrecht (1999)
Cintula, P., Hájek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic (in 2 volumes). Studies in Logic, Mathematical Logic and Foundations, vol. 37, 38. College Publications, London (2011)
Cintula, P., Noguera, C.: A general framework for mathematical fuzzy logic. In: Cintula, P., Hájek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic - Volume 1. Studies in Logic, Mathematical Logic and Foundations, vol. 37, pp. 103–207. College Publications, London (2011)
Czelakowski, J.: Protoalgebraic Logics. Trends in Logic, vol. 10. Kluwer, Dordrecht (2001)
Dubois, D., Prade, H.: Possibility theory. Plenum Press, New-York (1988)
Esteva, F., Godo, L.: Putting together Łukasiewicz and product logic. Mathware and Soft Computing 6(2-3), 219–234 (1999)
Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation 87(1-2), 78–128 (1990)
Flaminio, T., Godo, L.: A logic for reasoning about the probability of fuzzy events. Fuzzy Sets and Systems 158(6), 625–638 (2006)
Flaminio, T., Godo, L., Marchioni, E.: Reasoning about uncertainty of fuzzy events: An overview. In: Cintula, P., Fermüller, C., Godo, L. (eds.) Understanding Vagueness: Logical, Philosophical, and Linguistic Perspectives. Studies in Logic, vol. 36, pp. 367–400. College Publications, London (2011)
Flaminio, T., Montagna, F.: A logical and algebraic treatment of conditional probability. Archive for Mathematical Logic 44(2), 245–262 (2005)
Font, J.M., Jansana, R., Pigozzi, D.L.: A survey of Abstract Algebraic Logic. Studia Logica 74(1-2), 13–97 (2003), Special Issue on Abstract Algebraic Logic II
Godo, L., Esteva, F., Hájek, P.: Reasoning about probability using fuzzy logic. Neural Network World 10(5), 811–823 (2000), Special issue on SOFSEM 2000
Godo, L., Marchioni, E.: Coherent conditional probability in a fuzzy logic setting. Logic Journal of the Interest Group of Pure and Applied Logic 14(3), 457–481 (2006)
Hájek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, vol. 4. Kluwer, Dordrecht (1998)
Hájek, P., Harmancová, D.: Medical fuzzy expert systems and reasoning about beliefs. In: Wyatt, J.C., Stefanelli, M., Barahona, P. (eds.) AIME 1995. LNCS, vol. 934, pp. 403–404. Springer, Heidelberg (1995)
Halpern, J.Y.: Reasoning About Uncertainty. MIT Press (2005)
Hamblin, C.L.: The modal ‘probably’. Mind 68, 234–240 (1959)
Marchioni, E.: Possibilistic conditioning framed in fuzzy logics. International Journal of Approximate Reasoning 43(2), 133–165 (2006)
Mundici, D.: Advanced Łukasiewicz Calculus and MV-Algebras. Trends in Logic, vol. 35. Springer, New York (2011)
Rusnok, P.: Probability in formal fuzzy logic, Master thesis, Czech Technical University in Prague (2008)
Smith, N.J.: Vagueness and Degrees of Truth. Oxford University Press, Oxford (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cintula, P., Noguera, C. (2014). Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. In: Kohlenbach, U., Barceló, P., de Queiroz, R. (eds) Logic, Language, Information, and Computation. WoLLIC 2014. Lecture Notes in Computer Science, vol 8652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44145-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-662-44145-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44144-2
Online ISBN: 978-3-662-44145-9
eBook Packages: Computer ScienceComputer Science (R0)