886 search results - page 10 / 178 » Modal logic and invariance |
ICTL
1994
13 years 10 months ago
1994
This paper presents a temporal belief logic called
AAAI
2007
13 years 9 months ago
2007
LFCS
2009
Springer
14 years 1 months ago
2009
Springer
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...
JAPLL
2010
13 years 5 months ago
2010
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
ICFP
2003
ACM
14 years 6 months ago
2003
ACM
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal varia...