Results 11 to 20 of about 122,807 (96)
Nonclassical 001-020: a selection by Nick Luscombe [PDF]
, 2017 ‘Nonclassical 001-020’ is compiled by radio DJ and presenter Nick Luscombe (BBC Late Junction). Celebrating Nonclassical’s 20 album releases since it was founded in 2004, ‘Nonclassical 001-020’ features a selection of the best tracks from its recording ...
Richards, John
core +7 more sources
Institutional logics, blended and suspended [PDF]
, 2014 This paper examines how a new institution, a code of conduct, arises and develops over time. It shows how the process of debate airs competing logics, questions and fails to question assumptions taken for granted, and yet achieves a large degree of ...
Nordberg, Donald
core +9 more sources
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics [PDF]
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core +2 more sources
Modal Logics are Coalgebraic [PDF]
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Pattinson, Dirk +4 more
core +2 more sources
Spatial Logics for Bigraphs [PDF]
, 2005 Bigraphs are emerging as an interesting model for concurrent calculi, like CCS, pi-calculus, and Petri nets. Bigraphs are built orthogonally on two structures: a hierarchical place graph for locations and a link (hyper-)graph for connections.
Conforti, G., Macedonio, D., Sassone, V.
core +2 more sources
Modular Games for Coalgebraic Fixed Point Logics [PDF]
, 2008 We build on existing work on finitary modular coalgebraic logics [3,4], which we extend with general fixed points, including CTL- and PDL-like fixed points, and modular evaluation games.
Sadrzadeh, Mehrnoosh, Cirstea, Corina
core +2 more sources
Modular Construction of Modal Logics
, 2004 We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems.
Pattinson, Dirk, Cirstea, Corina
core +2 more sources
Maximal traces and path-based coalgebraic temporal logics [PDF]
, 2011 This paper gives a general coalgebraic account of temporal logics whose semantics involves a notion of computation path. Examples of such logics include the logic CTL* for transition systems and the logic PCTL for probabilistic transition systems.
Cirstea, Corina, Corina Cîrstea
core +1 more source
, 1978 The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack\u27s book has established an international reputation (translated into five languages) for its accessibility, clarity, conciseness, orderliness, and range ...
Haack, Susan
core +1 more source
Quantization of Polaritons Confined in Dielectric Structures
Laser &Photonics Reviews, EarlyView.This study addresses the limitations of the Hopfield model of strong light‐matter coupling in the case of structured dieletrics. A method to derive quantum models in the polariton basis using Bogoliubov transformation and third quantization is introduced, demonstrating how to boost interaction strength and engineer nonlocal interactions for strongly ...
Amir Rahmani +4 more
wiley +1 more source