Sciweavers

825 search results - page 61 / 165
» Modal Logics with Counting
Sort
View
PLANX
2007
13 years 9 months ago
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice
J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt
SYNTHESE
2008
80views more  SYNTHESE 2008»
13 years 7 months ago
Majority merging by adaptive counting
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADMc (Adaptive Doxastic Merging by...
Giuseppe Primiero, Joke Meheus
LORI
2009
Springer
14 years 2 months ago
Dynamic Context Logic
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
Guillaume Aucher, Davide Grossi, Andreas Herzig, E...
EUROCAST
2007
Springer
133views Hardware» more  EUROCAST 2007»
13 years 11 months ago
Temporal Equilibrium Logic: A First Approach
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
Pedro Cabalar, Gilberto Pérez Vega