Sciweavers

711 search results - page 54 / 143
» Modal Logics are Coalgebraic
Sort
View
ICNC
2005
Springer
15 years 3 months ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
LORI
2009
Springer
15 years 2 months ago
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
Emiliano Lorini, François Schwarzentruber, ...
CLIMA
2007
14 years 11 months ago
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...
Rajeev Goré, Linh Anh Nguyen
IWFM
2000
162views Formal Methods» more  IWFM 2000»
14 years 11 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
LAI
1996
128views more  LAI 1996»
14 years 11 months ago
Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
We propose a new semantics for modeling belief, mixing conncepts from qualitative probabilistic and classical possible world accounts. Our belief structures are coherent sets of q...
Emil Weydert