Formulas of One Propositional Variable in Intuitionistic Logic With the Solovay Modality

Logic and Logical Philosophy - Poland
doi 10.12775/llp.2008.007
Full Text
Abstract

Available in full text

Categories
Philosophy
Date
Authors
Publisher

Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

Related search

Between $Int_{\omega , \Omega}$ and Intuitionistic Propositional Logic

Logical Investigations
2013English

Separation Logic With One Quantified Variable

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

The Axiomatization of Propositional Logic

Formalized Mathematics
Computational MathematicsApplied Mathematics
2016English

Modality and Propositional Attitudes

2015English

Expressions of Propositional Modality in Japanese and Chinese

Open Journal of Modern Linguistics
2014English

Propositional Clausal Defeasible Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

A Propositional Logic of Temporal Connectives

Logic and Logical Philosophy
Philosophy
2014English

Encodings of Problems in Effectively Propositional Logic

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy