default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogica Universalis, Volume 7
Volume 7, Number 1, March 2013
- Walter Alexandre Carnielli, Claudio E. A. Pizzi:
Special Issue on Multimodal Logics: A Preface. 1-5 - Christoph Benzmüller
, Lawrence C. Paulson:
Quantified Multimodal Logics in Simple Type Theory. 7-20 - Juliana Bueno-Soler:
Multimodal Incompleteness Under Weak Negations. 21-31 - Carlos Caleiro, Luca Viganò, Marco Volpe:
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. 33-69 - Marcelo E. Coniglio, Newton Marques Peron:
Modal Extensions of Sub-classical Logics for Recovering Classical Logic. 71-86 - Max J. Cresswell:
Axiomatising the Prior Future in Predicate Logic. 87-101 - Franco Montagna, Duccio Pianigiani:
A Short Note on Essentially Σ1 Sentences. 103-111 - Claudio E. A. Pizzi:
Relative Contingency and Bimodality. 113-123
Volume 7, Number 2, June 2013
- Christian Wallmann:
A Shared Framework for Consequence Operations and Abstract Model Theory. 125-145 - Francesca Poggiolesi:
From Single Agent to Multi-Agent via Hypersequents. 147-166 - Alex Citkin:
Characteristic Formulas of Partial Heyting Algebras. 167-193 - Thomas Studer:
A Universal Approach to Guarantee Data Privacy. 195-209 - Riccardo Bruni:
Beppo Levi's Analysis of the Paradoxes. 211-231 - Sebastian Enqvist:
A General Lindström Theorem for Some Normal Modal Logics. 233-264
Volume 7, Number 3, September 2013
- Valeria de Paiva, Andrei Rodin:
Elements of Categorical Logic: Fifty Years Later. 265-273 - Dominique Duval:
Deduction as Reduction, from a Categorical Point of View. 275-289 - Eduardo Ochs:
Internal Diagrams and Archetypal Reasoning in Category Theory. 291-321 - Imants Baruss, Robert E. Woodrow:
A Reduction Theorem for the Kripke-Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra. 323-334 - Peter T. Johnstone:
What do Freyd's Toposes Classify? 335-340 - Bart Jacobs:
Dagger Categories of Tame Relations. 341-370 - Maria Emilia Maietti, Giuseppe Rosolini:
Quotient Completion for the Foundation of Constructive Mathematics. 371-402
Volume 7, Number 4, December 2013
- Pedro Baltazar:
Probabilization of Logics: Completeness and Decidability. 403-440 - Henri Prade, Gilles Richard:
From Analogical Proportion to Logical Proportions. 441-505 - Gemma Robles:
A Routley-Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart. 507-532
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-30 20:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
