AIML 2006 - PDF Preprint Papers

AIML 2006

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AIML-2006 Paper

click to vote

AIML
2006

144views Logical Reasoning» more AIML 2006»

Isomorphism via translation

14 years 1 months ago

Download www.jaist.ac.jp

We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...

Tadeusz Litak

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	144	Isomorphism via translation	claim
2	137	The Tree of Knowledge in Action: Towards a Common Perspective	claim
3	131	Dynamic topological logics over spaces with continuous functions	claim
4	124	Bisimulation Quantified Modal Logics: Decidability	claim
5	117	A General Semantics for Quantified Modal Logic	claim
6	116	Deep Sequent Systems for Modal Logic	claim
7	115	Logics with an existential modality	claim
8	113	From topology to metric: modal logic and quantification in metric spaces	claim
9	113	A Kripke-Joyal Semantics for Noncommutative Logic in Quantales	claim
10	111	Developing Modal Tableaux and Resolution Methods via First-Order Resolution	claim
11	94	Conservative extensions in modal logic	claim
12	89	The variety of modal FLew-algebras is generated by its finite simple members	claim
13	88	ML is not finitely axiomatizable over Cheq	claim
14	86	On the Deterministic Horn Fragment of Test-free PDL	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers