- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Modal Logics in the Theory of Information Systems
Mathematical Logic Quarterly 30 (13-16):213-222 (1984)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations.Marianna Nicolosi-Asmundo & Domenico Cantone - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag. pp. 169-202.
Bibliography of Ewa Orłowska.Michał Zawidzki & Joanna Golińska-Pilarek - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag.
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics.Kenneth A. Bowen - 1974 - Mathematical Logic Quarterly 20 (23-24):355-372.
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics.Kenneth A. Bowen - 1974 - Mathematical Logic Quarterly 20 (23‐24):355-372.
Logics for Order-of-Magnitude Qualitative Reasoning: Formalizing Negligibility.Manuel Ojeda-Aciego, Emilio Muñoz-Velasco & Alfredo Burrieza - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag.
Autobiography.Ewa Orłowska - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag.
Logics of Complementarity in Information Systems.Ivo Düntsch & Ewa Orłowska - 2000 - Mathematical Logic Quarterly 46 (2):267-288.
Analyzing completeness of axiomatic functional systems for temporal × modal logics.Alfredo Burrieza Muñiz, Inmaculada Pérez de Guzmán Molina & Emilio J. Muñoz Velasco - 2010 - Mathematical Logic Quarterly 56 (1):89-102.
Engaged in Relations: A Trialogue.Michał Zawidzki, Joanna Golińska-Pilarek & Ewa Orłowska - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag.
Reasoning on Relations, Modalities, and Sets.Alberto Policriti, Eugenio Omodeo & Andrea Formisano - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag. pp. 129-168.
Analytics
Added to PP
2013-12-01
Downloads
39 (#421,600)
6 months
10 (#308,815)
2013-12-01
Downloads
39 (#421,600)
6 months
10 (#308,815)
Historical graph of downloads
Author's Profile
Citations of this work
A duality between Pawlak's knowledge representation systems and bi-consequence systems.Dimiter Vakarelov - 1995 - Studia Logica 55 (1):205 - 228.
References found in this work
Competing semantics of vagueness: Many values versus super-truth.David H. Saford - 1976 - Synthese 33 (2-4):195--210.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-s5tms uwo