3239 search results - page 46 / 648 » A Logical Process Calculus |
84
Voted
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
105
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
112
Voted
LOGCOM
2010
14 years 11 months ago
2010
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In thi...
126
click to vote
SLOGICA
1998
15 years 5 days ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
99
Voted
ENTCS
2008
15 years 18 days ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...