Results 1 to 10 of about 101,769 (199)
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems [PDF]
, 2020 This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined ...
A Ciabattoni +17 more
core +3 more sources
Algebraic Properties of Qualitative Spatio-Temporal Calculi [PDF]
arXiv, 2013 Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But what exactly is a qualitative calculus?
A. Isli +23 more
core +3 more sources
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics [PDF]
, 2019 This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics.
A Ciabattoni +15 more
core +3 more sources
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics [PDF]
Logical Methods in Computer Science, Volume 7, Issue 2 (May 17,
2011) lmcs:971, 2011 We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents.
Alwen Tiu +13 more
core +2 more sources
All bicovariant differential calculi on Glq(3,C) and SLq(3,C) [PDF]
J.Phys. A28 (1995) 2545-2562, 1994 All bicovariant first order differential calculi on the quantum group GLq(3,C) are determined. There are two distinct one-parameter families of calculi.
Abe E +21 more
core +3 more sources
Actor Network Procedures as Psi-calculi for Security Ceremonies [PDF]
, 2014 The actor network procedures of Pavlovic and Meadows are a recent graphical formalism developed for describing security ceremonies and for reasoning about their security properties.
Prisacariu, Cristian
core +9 more sources
The Basics of Display Calculi [PDF]
, 2017 The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem.
Eckhardt, Timo +3 more
core +2 more sources
Implementing a distributed mobile calculus using the IMC framework [PDF]
, 2007 In the last decade, many calculi for modelling distributed mobile code have been proposed. To assess their merits and encourage use, implementations of the calculi have often been proposed.
Bettini +18 more
core +1 more source
Dual-Context Calculi for Modal Logic [PDF]
, 2020 We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-context style: they feature two distinct zones of assumptions, one of which
Kavvos, G. A.
core +4 more sources
Cut-free Calculi and Relational Semantics for Temporal STIT Logics [PDF]
, 2019 We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as
AN Prior +19 more
core +4 more sources