Modal logic for evaluating formulas in incomplete contexts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2393, Issue , 2002, Pages 314-325

  Obiedkov, Sergei ^a  

^a RUSSIAN STATE UNIVERSITY FOR THE HUMANITIES   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

ATTRIBUTE SETS; FORMAL CONTEXTS; MODAL LOGIC; PROPOSITIONAL FORMULAS; THREE-VALUED;

COMPUTER CIRCUITS;

EID: 84948950879     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45483-7_24     Document Type: Conference Paper

References (10)

1. Bochvar, D.A., Finn V.K.: On Many-Valued Logics That Allow the Formalization of Antinomy Analysis. Issledovaniya po matematicheskoi lingvistike, matematicheskoi logike i informatsionnym yazykam (Studies of Mathematical Linguistics, Mathematical Logic and Information Languages). Moscow (1972) 238-295
2. Burmeister, P., Holzer, R.: On the Treatment of Incomplete Knowledge in Formal Concept Analysis. Proc. 8th Int. Conf. on Conceptual Structures. Darmstadt (2000) 385-398
3. Ferré, S.: Complete and Incomplete Knowledge in Logical Information Systems. Proc. European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (2001)
4. Finn, V.K., Grigolia, R.: Nonsense Logics and Their Algebraic Properties. Theoria, Vol. LIX. Parts 1.3 (1993) 207-273
5. Fitting, M.C.: Many-Valued Modal Logics, I.II. Fundamenta Informaticae 15 (1991) 235.254; 17 (1992) 55-73
6. Ganter, B., Kuznetsov, S.O.: Pattern Structures and Their Projections. Proc. 9th Int. Conf. on Conceptual Structures. Stanford (2001) 129-142
7. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer-Verlag, Berlin Heidelberg New York (1999)
8. Guigues, J.-L., Duquenne, V.: Familles minimales d.implications informative résultant d.un tableau de donnée binaires. Math. Sci. Humaines. 95 (1986) 5-18
9. Holzer, R.: Methoden der formalen Begriffsanalyse bei der Behandlung unvollständigen Wissens. Dissertation. Shaker-Verlag (2001)
10. Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Cresswell, Routledge (1996)