๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A topological logic of action

โœ Scribed by Krister Segerberg

Publisher
Springer Netherlands
Year
1984
Tongue
English
Weight
256 KB
Volume
43
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

โœฆ Synopsis

We consider a quantifier-free language in which there are terms as weal as formulas. The proposition-forming propositional operators are the usual ones, and the term-making term operators are the usual lattice theoretical ones. In addition there is a formula-making term operator, "does". We study a new logic in which "does a" is claimed to approximate some features of the informal concept "the agent performs the action a".

๐Ÿ“œ SIMILAR VOLUMES

A deontic logic of action
A deontic logic of action
โœ Krister Segerberg ๐Ÿ“‚ Article ๐Ÿ“… 1982 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 806 KB
A topological characterization of consis
A topological characterization of consistency of logic theories in propositional logic
โœ Guo-Jun Wang; Yan-Hong She ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 116 KB

## Abstract The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the firs

Multimo dal Logics of Products of Topolo
Multimo dal Logics of Products of Topologies
โœ J. van Benthem; G. Bezhanishvili; B. ten Cate; D. Sarenac ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 370 KB