Blank Cover Image

MODAL LOGIC AS A THEORY OF INFOMATION

Author(s):
van Benthem, Johan ( Department of Mathematics and Computer Science University of Amsterdam )  
Publication title:
NASA Technical Reports
Pub. Year:
1989
No.:
N90-24183
Paper no.:
N90-24183
Page(from):
1
Page(to):
33
Pages:
33
Pub. info.:
National Aeronautics and Space Adminstration
Language:
English
Type:
Technical Paper

Similar Items:

1 Technical Paper DYNAMIC ARROW LOGIC

van Benthem, Johan

National Aeronautics and Space Adminstration
7 Technical Paper Dynamic modal predicate logic

van Eilick, D.J.N., Cepparello, G.

National Aeronautics and Space Adminstration
2 Technical Paper LOGIC OF TRANSITION SYSTEMS

van Benthem, Johan, Bergstra, Jan

National Aeronautics and Space Adminstration
8 Technical Paper THE MODAL LOGIC OF INEQUALITY

Rijke, Maarten

National Aeronautics and Space Adminstration
3 Technical Paper GENERAL DYNAMICS

van Benthem, Johan

National Aeronautics and Space Adminstration
9 Technical Paper GENERALIZED QUANTIFIERS AMD MODAL LOGIC

Hoek, Wiebe, van der, Rijke, Maarten, de

National Aeronautics and Space Adminstration
4 Technical Paper LANGUAGE IN ACTION

van Benthem, Johan

National Aeronautics and Space Adminstration
10 Technical Paper TWO-DIMENSIONAL MODAL LOGICS : for Relational Algebras and Temporal Logic of Intervals

Venema, Yde

National Aeronautics and Space Adminstration
5 Technical Paper THE FINE-STRUCTURE OF CATEGORIAL SEMANTICS

van Benthem, Johan

National Aeronautics and Space Adminstration
11 Technical Paper SEQUENT CALSULI FOR NORMAL MODAl PROPOSITIONAl LOGICS

Wansing, Heinrich

National Aeronautics and Space Adminstration
6 Technical Paper CYLINDRIC MODAL LOGIC

Venema, Yde

National Aeronautics and Space Adminstration
12 Technical Paper IMPLEMENTATIONOF A MATRIX THEOREM PROVER FOR PROPOSITIONAL MODAL LOGIC

Dias, Luuiz Alberto V., Gaizauskas, Robert

National Aeronautics and Space Adminstration
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12