Modal Logic in Two Gestalts

14 years 6 days ago

Download www.illc.uva.nl

Wedevelopatranslation-basedviewdualofmodallogicasthestudyofintensionallanguages thatareatthesametimeinterestingexpressiveanddecidablepartsofstandardlogicalsystems. Thistandemapproachimprovesourunderstandingofmodallogic

Johan van Bentheim

Real-time Traffic

AIML 1998 | AIML 2008 | Wedevelopatranslation-basedviewdualofmodallogicasthestudyofintensionallanguages Thatareatthesametimeinterestingexpressiveanddecidablepartsofstandardlogicalsystems |

claim paper

» MProlog An Extension of Prolog for Modal Logic Programming

» FixedPoint Logic with the Approximation Modality and Its Kripke Completeness

» A Hybrid Public Announcement Logic with Distributed Knowledge

» The modal logic of affine planes is not finitely axiomatisable

» Modal Nonmonotonic Logics Ranges Characterization Computation

» The product of converse PDL and polymodal K

» Conditional Logics of Normality as Modal Systems

» Shallow Models for Noniterative Modal Logics

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	1998
Where	AIML
Authors	Johan van Bentheim

Comments (0)

Sciweavers

Modal Logic in Two Gestalts

AIML 1998 | AIML 2008 | Wedevelopatranslation-basedviewdualofmodallogicasthestudyofintensionallanguages Thatareatthesametimeinterestingexpressiveanddecidablepartsofstandardlogicalsystems |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers