28 search results - page 6 / 6 » Embeddings of Propositional Monomodal Logics |
SCAI
2001
13 years 8 months ago
2001
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
CICLING
2001
Springer
13 years 12 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
CEFP
2005
Springer
14 years 1 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...