711 search results - page 47 / 143 » Modal Logics are Coalgebraic |
IANDC
2006
14 years 10 months ago
2006
Fixpoint Logic with Chop extends the modal
71
Voted
CSR
2010
Springer
15 years 2 months ago
2010
Springer
By terms-allowed-in-types capacity, the Logic of Proofs LP includes formulas of the form t : Ï•(t), which have self-referential meanings. In this paper, “prehistoric phenomenaâ€...
AAAI
2008
15 years 12 days ago
2008
In this paper we investigate nonmonotonic `modes of inference'. Our approach uses modal (conditional) logic to establish a uniform framework in which to study nonmonotonic co...
ENTCS
2008
14 years 10 months ago
2008
The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its fact...
98
Voted
CSFW
2012
IEEE
13 years 15 days ago
2012
IEEE
—We show that Kripke semantics of modal logic, manifest in the syntactic proof formalism of labeled sequent calculi, can be used to solve three central problems in access control...