Skip to main content
English
Italiano
Log In
Log in
New user? Click here to register.
Have you forgotten your password?
English
Italiano
Log In
Log in
New user? Click here to register.
Have you forgotten your password?
Home
ASI Community
ASI Multidisciplinary Collection
Hintikka multiplicities in matrix decision methods for some propositional modal logics
Details
Hintikka multiplicities in matrix decision methods for some propositional modal logics
Author(s)
Cerrito, S
Mayer, MC
ASI Sponsor
Date Issued
1997-01-01
URI
https://hdl.handle.net/20.500.13025/378
Journal
Automated Reasoning with Analytic Tableaux and
URL
http://link.springer.com/chapter/10.1007/BFb0027410