Sciweavers

Share
SAC
2011
ACM
8 years 1 months ago
Quotients revisited for Isabelle/HOL
Higher-Order Logic (HOL) is based on a small logic kernel, whose
Cezary Kaliszyk, Christian Urban
ICLA
2011
Springer
8 years 1 months ago
Becoming Aware of Propositional Variables
We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent becomes aware of propositional variables. We show that th...
Hans P. van Ditmarsch, Tim French
CORR
2011
Springer
210views Education» more  CORR 2011»
8 years 2 months ago
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
Zoran Majkic
CORR
2011
Springer
202views Education» more  CORR 2011»
8 years 2 months ago
First-order Logic: Modality and Intensionality
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
Zoran Majkic
CORR
2011
Springer
143views Education» more  CORR 2011»
8 years 2 months ago
Probabilistic Logic: Many-valuedness and Intensionality
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
Zoran Majkic
TCS
2010
8 years 5 months ago
Definable transductions and weighted logics for texts
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...
Christian Mathissen
LOGCOM
2010
128views more  LOGCOM 2010»
8 years 5 months ago
Comparing LTL Semantics for Runtime Verification
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
Andreas Bauer 0002, Martin Leucker, Christian Scha...
LOGCOM
2010
152views more  LOGCOM 2010»
8 years 5 months ago
Constructive Logic with Strong Negation as a Substructural Logic
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
Manuela Busaniche, Roberto Cignoli
JSYML
2010
103views more  JSYML 2010»
8 years 5 months ago
A note on Hjorth's oscillation theorem
We reformulate, in the context of continuous logic, an oscillation theorem proved by G. Hjorth and give a proof of the theorem in that setting which is similar to, but simpler than...
Julien Melleray
JOLLI
2010
171views more  JOLLI 2010»
8 years 5 months ago
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
Andreas Herzig, Emiliano Lorini
books