Propositional Quantification in the Topological Semantics for S4.

Published in: Notre Dame J. Formal Log. (1997)

Keyphrases

sound and complete axiomatization
disjunctive logic programming
logic programming
propositional logic
model theoretic
neural network
first order logic
default logic
formal semantics
semantic information
conceptual graphs
argumentation semantics
multi valued
reasoning tasks
operational semantics