Top results
clemens kupke and dirk pattinson department of computing imperial college london abstract we consider probabilistic modal logic, graded modal logic and stochastic modal logic,
modal logics and philosophy
isabelle bloch [email protected], [email protected] role of logic in ai for 2000 years, people tried to codify “human reasoning”
guram bezhanishvili new mexico state university second reader contents 1 modal logics of space 5 johan van benthem, guram bezhanishvili, marco aiello 1. modal logics and
logical methods in computer science vol 7 1:4 2011 pp 1–28 wwwlmcs-onlineorg submitted jun 24 2010 published mar 17 2011 generic modal cut elimination applied to conditional…
on intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations∗ jm davoren department of electrical electronic engineering…
1. logics of context andmodal type theoriesvaleria de paivasystems and practices lab 2. caveats joint work with bellin/ritter and mendler. talk at context’03, the…
generalising kripke semantics for quantified modal logics* wolfgang schwarz we turn now to what is arguably one of the least well behaved modal languages ever proposed: first-order
the axiomatic translation principle for modal logic renate a schmidt university of manchester and ullrich hustadt university of liverpool in this paper we present a translation…
coalgebraic semantics of modal logics: an overview clemens kupke and dirk pattinson department of computing imperial college london 180 queen’s gate london sw7 2az uk ckupke@imperialacuk…
order-based and continuous modal logics george metcalfe mathematical institute university of bern joint research with xavier caicedo denisa diaconescu ricardo rodŕıguez…
exemplaric expressivity of modal logics bart jacobs1 and ana sokolova2 1 institute for computing and information sciences radboud university nijmegen po box 9010 6500 gl…
abstraction of programs manipulating pointers using modal logics yoshinori tanabe (ist & aist) (joint work with yoshifumi yuasa, toshifusa sekizawa and koichi takahashi…
upl.dvimu-calculus murali narasimha c a department of computer science, suny at stony brook, stony brook, ny 11794-4400, usa, [email protected] b department of computer
priorean tense logics in modal pure type systems citation for published version (apa): borghuis, v. a. j. (1996). priorean tense logics in modal pure type systems. (computing
decidability of modal logics for dynamic contact relationsdecidability of modal logics for dynamic contact relations vladislav nenchev sofia university faculty of mathematics
non-normal modal logics: bi-neighbourhood semantics and its labelled calculi tiziano dalmonte∗ nicola olivetti∗ sara negri 1 ∗aix marseille univ université de toulon…
chapter 1 modal logics of space johan van benthem universities of amsterdam stanford guram bezhanishvili new mexico state university second reader marco aiello tuwien university…
categorical and kripke semantics for constructive modal logics natasha alechina� michael mendler� valeria de paiva� and eike ritter� � school of computer science…
non-normal modal logics bi-neighbourhood semantics sequent calculi lse∗ pronom hypersequent calculi he hypno conclusions universitá degli studi di torino proof-search…