Modular many-valued semantics for combined logics.

Carlos Caleiro Sérgio Marcelino

Published in: CoRR (2022)

Keyphrases

speech acts
modal logic
truth values
expressive power
inference rules
epistemic logic
nonmonotonic logics
derivation rules
conceptual clustering
computational properties
decision procedures
temporal logic
semantic information
multi agent systems
valued semantics
propositional dynamic logic
database