Search Sciweavers | Sciweavers

337 search results - page 2 / 68

» Axiomatizing Distance Logics

click to vote

JUCS
2010

114views more JUCS 2010»

An Axiomatization of a First-order Branching Time Temporal Logic

13 years 3 months ago

Download www.jucs.org

: We introduce a ﬁrst-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no ﬁni...

Dragan Doder, Zoran Ognjanovic, Zoran Markovic

claim paper

Read More »

click to vote

CORR
2007
Springer

117views Education» more CORR 2007»

Alternative axiomatics and complexity of deliberative STIT theories

13 years 5 months ago

Download www.irit.fr

We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The ﬁrst one simpliﬁes its presentation, and also provides an alternative axiomatization of the delib...

Philippe Balbiani, Andreas Herzig, Nicolas Troquar...

claim paper

Read More »

click to vote

IANDC
2006

77views more IANDC 2006»

Weakly complete axiomatization of exogenous quantum propositional logic

13 years 5 months ago

Download wslc.math.ist.utl.pt

A finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The axiomatization is shown to be weakly complete relative to an oracle for analytical rea...

Paulo Mateus, Amílcar Sernadas

claim paper

Read More »

click to vote

AI
2007
Springer

126views Artificial Intelligence» more AI 2007»

Axiomatic characterization of the AGM theory of belief revision in a temporal logic

13 years 5 months ago

Download www.econ.ucdavis.edu

Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...

Giacomo Bonanno

claim paper

Read More »

click to vote

JAPLL
2010

74views more JAPLL 2010»

Axiomatizing hybrid logic using modal logic

13 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers