Epistemic semantics defended.

Bas C. van Fraassen

Published in: J. Philos. Log. (1982)

Keyphrases

epistemic logic
logic program updates
modal operators
formal semantics
model checking
default reasoning
propositional dynamic logic
argumentation semantics
logical framework
modal logic
real time
conceptual graphs
conceptual model
logic programming
logic programs
computation tree logic
multi agent systems