Login / Signup
Synthetic completeness proofs for Seligman-style tableau systems.
Klaus Frovin Jørgensen
Patrick Blackburn
Thomas Bolander
Torben Braüner
Published in:
Advances in Modal Logic (2016)
Keyphrases
</>
expert systems
management system
artificial neural networks
hidden markov models
computational intelligence
computer systems
formal proofs
databases
theorem prover
data quality
complex systems
learning systems
distributed systems
database systems
multimedia
genetic algorithm
real world