![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Logica Universalis, Volume 7
Volume 7, Number 1, March 2013
- Walter Alexandre Carnielli, Claudio 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 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.