Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

2

MLQ
2010

favoriteEmaildiscussreport

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

12 years 8 months ago

Analyzing completeness of axiomatic functional systems for temporal × modal logics

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá

Real-time Traffic

MLQ 2010 |

claim paper

Related Content

» Naming Worlds in Modal and Temporal Logic

» Completeness through Flatness in TwoDimensional Temporal Logic

» Complete Axiomatizations for Reasoning About Knowledge and Time

» The modal logic of continuous functions on the rational numbers

» The modal logic of continuous functions on cantor space

» Modal Logic over Higher Dimensional Automata

» Completeness Results for Memory Logics

» A normal simulation of coalition logic and an epistemic extension

» Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Post Info
More Details (n/a)

Added	29 Jan 2011
Updated	29 Jan 2011
Type	Journal
Year	2010
Where	MLQ
Authors	Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco

Comments (0)