277 Hits in 5.1 sec

Page 2406 of Mathematical Reviews Vol. 58, Issue 4 [page]

1979 Mathematical Reviews  
The results carry over to some extensions of CD. Gabbay, Dov M. 58 + 16169 A new version of Beth semantics for intuitionistic logic. J. Symbolic Logic 42 (1977), no. 2, 306-308.  ...  Wilson, Robert L. 58 + 16164 Some remarks on metaphysics and the modal logics F*F. Notre Dame J. Formal Logic 17 (1976), no. 3, 349-360.  ... 

Page 7596 of Mathematical Reviews Vol. , Issue 2004j [page]

2004 Mathematical Reviews  
Summary: “An intuitionistic modal logic that is an intuitionistic bi-modal version of the modal logic K5 is proved, by means of the filtration method, to enjoy the finite model property.”  ...  In particular, the projective Beth property is weaker than interpolation on the family of normal extensions of K4.  ... 

Page 3572 of Mathematical Reviews Vol. , Issue 2001F [page]

2001 Mathematical Reviews  
(RS-AOSSI; Novosibirsk) Projective Beth properties in modal and superintuitionistic logics. (Russian.  ...  first order intuitionistic modal logics.  ... 

Properties of Intuitionistic Provability and Preservativity Logics

Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou
2005 Logic Journal of the IGPL  
We study the modal properties of intuitionistic modal logics that belong to the provability logic or the preservativity logic of Heyting Arithmetic.  ...  We describe thefragment of some preservativity logics and we present fixed point theorems for the logics iL and iP L, and show that they imply the Beth property.  ...  Acknowledgements The first author is supported by a Marie Curie fellowship of the European Union under grant HPMF-CT-2001-01383. The third author is very grateful to Prof.  ... 
doi:10.1093/jigpal/jzi047 fatcat:rb2e2ohxjzdh3gfhhqniheu5hi

Interpolation and implicit definability in extensions of the provability logic

Larisa Maksimova
2008 Logic and Logical Philosophy  
In the present paper, different versions of interpolation and of the Beth property in normal extensions of the provability logic GL are considered.  ...  It follows that in finite slice logics over GL the three versions CIP, IPD and IPR of the interpolation property are equivalent. Also they are equivalent to the Beth properties B1, PB1 and PB2.  ...  The Beth properties have as their source the theorem on implicit definability proved by E.  ... 
doi:10.12775/llp.2008.008 fatcat:xqy5aiesjvhxnnlqc54chcy65q

Page 4013 of Mathematical Reviews Vol. , Issue 2003f [page]

2003 Mathematical Reviews  
(I-PARM; Parma) On the Beth properties of some intuitionistic modal logics. (English summary) Arch. Math. Logic 41 (2002), no. 5, 443-454. The author continues his study initiated in [Arch. Math.  ...  Logic 35 (1996), no. 3, 173-189; MR 97d:03018]. In this paper the author investigates different forms of the Beth property for extensions of an intuitionistic modal logic of S4-type.  ... 

Page 2323 of Mathematical Reviews Vol. , Issue 2002D [page]

2002 Mathematical Reviews  
These remarks include some observations on the expressive power of modal predicate logics in the matter of sensitivity to first-order properties of Kripke frames.”  ...  The related issues of Beth definability and fixed points are also addressed. It is shown that for a general class of logics the Beth property and the fixed point property are interderivable.  ... 

Definability and Interpolation in Non-Classical Logics

Larisa Maksimova
2006 Studia Logica: An International Journal for Symbolic Logic  
In this paper we present an overview of results on interpolation and definability in modal and positive logics, and also in extensions of Johansson's minimal logic.  ...  Moreover, we give exhaustive solution to interpolation and some related problems for many families of propositional logics and calculi.  ...  Acknowledgement The research is supported by INTAS, grant no. 04-77-7080, and RFBR, grant no. 03-06-80178.  ... 
doi:10.1007/s11225-006-7203-1 fatcat:mbr7z525pveezifdc34k73qiuq

Inquisitive Intuitionistic Logic

Wesley H. Holliday
2020 Advances in Modal Logic  
In short, what should inquisitive logic be on an intuitionistic base?  ...  Inquisitive logic is a research program seeking to expand the purview of logic beyond declarative sentences to include the logic of questions.  ...  Acknowledgements The ideas of this paper were presented at the Workshop on Inquisitive Logic on July 25, 2018 at the University of Amsterdam and later in more developed form  ... 
dblp:conf/aiml/Holliday20 fatcat:pjptm7t4qvbabmicfpiqm2k24q

The information in intuitionistic logic

Johan van Benthem
2008 Synthese  
Issues about information spring up wherever one scratches the surface of logic.  ...  Keywords Information · Intuitionistic logic · Epistemic logic · Dynamic logic Logic and information, a web of story lines The notion of information is not a standard theme in logic, but it really lies  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided  ... 
doi:10.1007/s11229-008-9408-5 fatcat:c3k6w6pn7rfr7b67piq2paeyv4

Page 778 of Mathematical Reviews Vol. , Issue 2002B [page]

2002 Mathematical Reviews  
They present a modified tableau version of LJ called LB, based on the work of Beth and Fitting.  ...  These are logics characterized by the property that they allow one to draw con- clusions which are stronger than the logical consequences.  ... 

Page 5091 of Mathematical Reviews Vol. , Issue 95i [page]

1995 Mathematical Reviews  
imply the Beth property; and each variety of modal transitive algebra has the weak Beth property.  ...  In this paper she considers variants of the Beth definability property in normal modal logics and corresponding varieties of modal algebras.  ... 

Page 7142 of Mathematical Reviews Vol. , Issue 95m [page]

1995 Mathematical Reviews  
He claims that for particular notions of these models the completeness proofs are intuitionistically correct. The author’s Beth models incorpo- rate some aspects of H. C.  ...  Smetanich’s logic is conservative with respect to the standard intuitionistic propositional calculus, it has the dis- junction property and the finite model property and it is decidable.  ... 

Page 16 of Mathematical Reviews Vol. , Issue 85a [page]

1985 Mathematical Reviews  
Kripke models exploit the second possibility; modified Beth models, introduced by Gabbay [J. Sym- bolic Logic 42 (1977), no. 2, 306-309; MR 58 #16169], exploit the first one.  ...  The author’s approach generalizes earlier systems given by Beth, Church, Mon- tague and Fourman. The basic techniques are from combinatory logic, and special emphasis is put on comprehensiveness. M.  ... 

Complexity of some problems in positive and related calculi

L. Maksimova
2003 Theoretical Computer Science  
Some complexity bounds for properties of propositional calculi over the intuitionistic or the minimal logic are found.  ...  Logic 6 (2000) 118) the complexity of tabularity, pretabularity, and interpolation problems over the intuitionistic logic (Int) and over modal logic S4 was studied.  ...  for extensions of the intuitionistic logic or of the modal system S4 and some other problems.  ... 
doi:10.1016/s0304-3975(02)00450-4 fatcat:wiafbybjzffjfomm7kc53x74l4
« Previous Showing results 1 — 15 out of 277 results