3047 search results - page 101 / 610 » On the Meaning of Logical Completeness |
ICLA
2011
Springer
13 years 2 months ago
2011
Springer
We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent becomes aware of propositional variables. We show that th...
TABLEAUX
2009
Springer
14 years 5 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
FOSSACS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
CONCUR
2010
Springer
14 years 3 days ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...