Volume 7; Issue 1

Logica Universalis

Volume 7; Issue 1
1

A Short Note on Essentially Σ1Sentences

Montagna, Franco, Pianigiani, Duccio
Journal:
Logica Universalis
Year:
2013
Language:
english
File:
PDF, 206 KB
english, 2013
2

Special Issue on Multimodal Logics: A Preface

Walter Carnielli, Claudio Pizzi
Journal:
Logica Universalis
Year:
2013
Language:
english
File:
PDF, 116 KB
english, 2013
3

Quantified Multimodal Logics in Simple Type Theory

Christoph Benzmüller, Lawrence C. Paulson
Journal:
Logica Universalis
Year:
2013
Language:
english
File:
PDF, 252 KB
english, 2013
4

Multimodal Incompleteness Under Weak Negations

Juliana Bueno-Soler
Journal:
Logica Universalis
Year:
2013
Language:
english
File:
PDF, 205 KB
english, 2013
6

Modal Extensions of Sub-classical Logics for Recovering Classical Logic

Marcelo E. Coniglio, Newton M. Peron
Journal:
Logica Universalis
Year:
2013
Language:
english
File:
PDF, 250 KB
english, 2013
7

Axiomatising the Prior Future in Predicate Logic

Max Cresswell
Journal:
Logica Universalis
Year:
2013
Language:
english
File:
PDF, 241 KB
english, 2013
8

Relative Contingency and Bimodality

Claudio Pizzi
Journal:
Logica Universalis
Year:
2013
Language:
english
File:
PDF, 177 KB
english, 2013