Valuations in temporal logic

Authors

Andrea M. Loparić
University of São Paulo image/svg+xml
https://orcid.org/0000-0003-0241-0903 (unauthenticated)
Cezar A. Mortari
Universidade Federal de Santa Catarina image/svg+xml
https://orcid.org/0009-0004-1653-539X (unauthenticated)
DOI: https://doi.org/10.20396/ISBN9786588097229/cap6

Synopsis

In this paper we apply, to the minimal temporal calculusKt, the valuationsemantics proposed by A. M. Loparić for Kripke’s calculusK. After presenting an ax-iomatic basis and defining valuations for Kt, we prove correctness and completeness theorems.

Author Biographies

Andrea M. Loparić, University of São Paulo

Professora Sênior pela Universidade de São Paulo (USP).

Cezar A. Mortari, Universidade Federal de Santa Catarina

Pós-Doutorado na Ludwig-Maximilians-Universität München, LMU, Alemanha. Professor na Universidade Federal de Santa Catarina (UFSC). 

capa_vol95

Downloads

capítulo 6

Volume

Andréa Loparić on semantics for non-classical logics: essays in honour of Andréa Loparić

Published

August 21, 2025

Series

Coleção CLE
Copyright (c) 2025 Centro de Lógica, Epistemologia (CLE-UNICAMP)

License

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.